package info (click to toggle)
coqprime 8.20.1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 4,644 kB
  • sloc: ansic: 12,902; ml: 1,656; makefile: 99

Folder: 8.20.1-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 55 .github
d d rwxr-xr-x 84 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 gencertif
d d rwxr-xr-x 29 src
- - rw-r--r-- 32 .gitattributes
- - rw-r--r-- 341 .gitignore
- - rw-r--r-- 24,381 LICENSE
- - rw-r--r-- 285 Makefile
- - rw-r--r-- 2,616 Makefile.coq.local-late
- - rw-r--r-- 7,158 README.md
- - rw-r--r-- 1,304 _CoqProject
- - rw-r--r-- 434 coq-coqprime.opam
- - rw-r--r-- 1,687 coqprime-generator.opam