package info (click to toggle)
ssreflect 2.5.0-2
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 7,120 kB
  • sloc: ml: 506; sh: 300; makefile: 42

Folder: 2.5.0-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 84 .nix
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 34 .vscode
d d rwxr-xr-x 4,096 algebra
d d rwxr-xr-x 45 all
d d rwxr-xr-x 4,096 boot
d d rwxr-xr-x 4,096 character
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 30 doc
d d rwxr-xr-x 31 docs
d d rwxr-xr-x 4,096 etc
d d rwxr-xr-x 4,096 field
d d rwxr-xr-x 4,096 fingroup
d d rwxr-xr-x 105 order
d d rwxr-xr-x 4,096 solvable
d d rwxr-xr-x 70 ssreflect
d d rwxr-xr-x 4,096 test_suite
- - rw-r--r-- 520 .dockerignore
- l rwxrwxrwx 18 AUTHORS → INITIAL_AUTHORS.md
- - rw-r--r-- 279,072 CHANGELOG.md
- - rw-r--r-- 14,542 CONTRIBUTING.md
- - rw-r--r-- 1,826 Dockerfile
- - rw-r--r-- 1,072 Dockerfile.make
- - rw-r--r-- 1,509 INITIAL_AUTHORS.md
- - rw-r--r-- 3,563 INSTALL.md
- - rw-r--r-- 21,909 LICENCE
- - rw-r--r-- 2,860 Make
- - rw-r--r-- 211 Make.test-suite
- - rw-r--r-- 134 Makefile
- - rw-r--r-- 5,547 Makefile.common
- - rw-r--r-- 315 Makefile.coq.local
- - rw-r--r-- 792 Makefile.test-suite.coq.local
- - rw-r--r-- 3,256 README-CI-Nix.md
- - rw-r--r-- 3,395 README.md
- - rw-r--r-- 772 _CoqProject
- - rw-r--r-- 446 coq-mathcomp-algebra.opam
- - rw-r--r-- 453 coq-mathcomp-boot.opam
- - rw-r--r-- 450 coq-mathcomp-character.opam
- - rw-r--r-- 442 coq-mathcomp-field.opam
- - rw-r--r-- 446 coq-mathcomp-fingroup.opam
- - rw-r--r-- 440 coq-mathcomp-order.opam
- - rw-r--r-- 448 coq-mathcomp-solvable.opam
- - rw-r--r-- 463 coq-mathcomp-ssreflect.opam
- - rw-r--r-- 475 default.nix
- - rw-r--r-- 1,843 rocq-mathcomp-algebra.opam
- - rw-r--r-- 1,534 rocq-mathcomp-boot.opam
- - rw-r--r-- 825 rocq-mathcomp-character.opam
- - rw-r--r-- 825 rocq-mathcomp-field.opam
- - rw-r--r-- 833 rocq-mathcomp-fingroup.opam
- - rw-r--r-- 850 rocq-mathcomp-order.opam
- - rw-r--r-- 777 rocq-mathcomp-solvable.opam
- - rw-r--r-- 599 rocq-mathcomp-ssreflect.opam