package info (click to toggle)
mathcomp-real-closed 2.0.2-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 800 kB
  • sloc: makefile: 28

Folder: 2.0.2-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 30 .github
d d rwxr-xr-x 83 .nix
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 theories
- - rw-r--r-- 96 .gitignore
- - rw-r--r-- 52 AUTHORS
- - rw-r--r-- 21,907 CeCILL-B
- - rw-r--r-- 943 Makefile
- - rw-r--r-- 5,522 README.md
- - rw-r--r-- 561 _CoqProject
- - rw-r--r-- 52 config.nix
- - rw-r--r-- 1,185 coq-mathcomp-real-closed.opam
- - rw-r--r-- 433 default.nix
- - rw-r--r-- 146 dune
- - rw-r--r-- 51 dune-project
- - rw-r--r-- 2,065 index.md
- - rw-r--r-- 5,961 meta.yml
- - rw-r--r-- 23 package.nix