package info (click to toggle)
ssreflect 2.1.0-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 6,320 kB
  • sloc: ml: 506; sh: 190; makefile: 39; lisp: 39

Folder: 2.1.0-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 84 .nix
d d rwxr-xr-x 84 .pc
d d rwxr-xr-x 34 .vscode
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 31 docs
d d rwxr-xr-x 4,096 etc
d d rwxr-xr-x 4,096 mathcomp
- - rw-r--r-- 697 .dockerignore
- l rwxrwxrwx 18 AUTHORS → INITIAL_AUTHORS.md
- - rw-r--r-- 159,099 CHANGELOG.md
- - rw-r--r-- 487 CHANGELOG_UNRELEASED.md
- - rw-r--r-- 11,438 CONTRIBUTING.md
- - rw-r--r-- 21,907 CeCILL-B
- - rw-r--r-- 1,287 Dockerfile
- - rw-r--r-- 1,070 Dockerfile.make
- - rw-r--r-- 1,509 INITIAL_AUTHORS.md
- - rw-r--r-- 3,503 INSTALL.md
- - rw-r--r-- 3,079 README-CI-Nix.md
- - rw-r--r-- 2,750 README.md
- - rw-r--r-- 353 _CoqProject
- - rw-r--r-- 968 coq-mathcomp-algebra.opam
- - rw-r--r-- 860 coq-mathcomp-character.opam
- - rw-r--r-- 860 coq-mathcomp-field.opam
- - rw-r--r-- 875 coq-mathcomp-fingroup.opam
- - rw-r--r-- 846 coq-mathcomp-solvable.opam
- - rw-r--r-- 1,249 coq-mathcomp-ssreflect.opam
- - rw-r--r-- 474 default.nix