package info (click to toggle)
mathcomp-zify 1.5.0%2B2.0%2B8.16-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 228 kB
  • sloc: makefile: 43

Folder: 1.5.0+2.0+8.16-4

show hidden (1)
d .. (parent)
d d rwxr-xr-x 30 .github
d d rwxr-xr-x 84 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 120 examples
d d rwxr-xr-x 96 theories
- - rw-r--r-- 121 .gitignore
- - rw-r--r-- 21,907 CeCILL-B
- - rw-r--r-- 143 Make
- - rw-r--r-- 145 Make.test-suite
- - rw-r--r-- 1,894 Makefile
- - rw-r--r-- 1,790 README.md
- - rw-r--r-- 60 _CoqProject
- - rw-r--r-- 908 coq-mathcomp-zify.opam
- - rw-r--r-- 1,653 meta.yml