package info (click to toggle)
mathcomp-finmap 2.1.0-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 448 kB
  • sloc: sh: 51; makefile: 11

Folder: 2.1.0-3

show hidden (1)
d .. (parent)
d d rwxr-xr-x 30 .github
d d rwxr-xr-x 61 .nix
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 50 .gitignore
- - rw-r--r-- 21,904 CECILL-B
- - rw-r--r-- 475 CHANGELOG.md
- - rw-r--r-- 186 CHANGELOG_UNRELEASED.md
- - rw-r--r-- 59 Makefile
- - rw-r--r-- 2,608 Makefile.common
- - rw-r--r-- 2,405 README.md
- - rw-r--r-- 323 _CoqProject
- - rw-r--r-- 1,189 coq-mathcomp-finmap.opam
- - rw-r--r-- 433 default.nix
- - rw-r--r-- 137 dune
- - rw-r--r-- 46 dune-project
- - rw-r--r-- 153,018 finmap.v
- - rw-r--r-- 1,690 index.md
- - rw-r--r-- 2,662 meta.yml
- - rw-r--r-- 33,498 multiset.v
- - rwxr-xr-x 1,781 opam-release.sh