package info (click to toggle)
dh-coq 0.14
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 112 kB
  • sloc: python: 454; perl: 149; makefile: 6

Folder: tools

d .. (parent)
- - rwxr-xr-x 643 coq-check-packages
- - rw-r--r-- 292 coq-check-packages.1
- - rwxr-xr-x 1,404 coq-planif-transition
- - rw-r--r-- 1,062 coq-planif-transition.1
- - rwxr-xr-x 7,986 coq-platform-comparison
- - rw-r--r-- 419 coq-platform-comparison.1
- - rwxr-xr-x 1,022 coq-wanna-build
- - rw-r--r-- 592 coq-wanna-build.1
- - rwxr-xr-x 8,538 coq_packages.py