package info (click to toggle)
mathcomp-zify 1.2.0%2B1.12%2B8.13-6
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 224 kB
  • sloc: makefile: 44

Folder: 1.2.0+1.12+8.13-6

show hidden (1)
d .. (parent)
d d rwxr-xr-x 30 .github
d d rwxr-xr-x 104 .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-- 42 AUTHORS
- - 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,731 README.md
- - rw-r--r-- 60 _CoqProject
- - rw-r--r-- 883 coq-mathcomp-zify.opam
- - rw-r--r-- 1,734 meta.yml