https://github.com/math-comp/Abel
Revision 8d94e23f20c67516d94a1c7028147db2fd1db594 authored by Cyril Cohen on 20 April 2021, 14:32:21 UTC, committed by Cyril Cohen on 20 April 2021, 14:32:29 UTC
1 parent 14a5332
Tip revision: 8d94e23f20c67516d94a1c7028147db2fd1db594 authored by Cyril Cohen on 20 April 2021, 14:32:21 UTC
Update meta.yml
Update meta.yml
Tip revision: 8d94e23
File | Mode | Size |
---|---|---|
.github | ||
theories | ||
.gitignore | -rw-r--r-- | 73 bytes |
CeCILL-B | -rw-r--r-- | 21.4 KB |
Makefile | -rw-r--r-- | 943 bytes |
NIX.md | -rw-r--r-- | 1.8 KB |
README.md | -rw-r--r-- | 4.7 KB |
_CoqProject | -rw-r--r-- | 615 bytes |
config.nix | -rw-r--r-- | 43 bytes |
coq-mathcomp-abel.opam | -rw-r--r-- | 1.3 KB |
default.nix | -rw-r--r-- | 5.8 KB |
meta.yml | -rw-r--r-- | 5.3 KB |
Computing file changes ...