https://github.com/math-comp/Abel
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 |
