package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 30,604 kB
  • sloc: ml: 192,230; sh: 2,585; python: 2,206; ansic: 1,878; makefile: 818; lisp: 202; xml: 24; sed: 2

Folder: patches

d .. (parent)
- - rw-r--r-- 867 avoid-usr-bin-env.patch
- - rw-r--r-- 4,281 fix-bytecode-build.patch
- - rw-r--r-- 780 python-scripts-libraries.patch
- - rw-r--r-- 751 remove-bytecode-failing-tests.patch
- - rw-r--r-- 1,215 remove-heavy-tests.patch
- - rw-r--r-- 17,273 remove-tests-that-need-coqlib.patch
- - rw-r--r-- 145,808 remove-time-sensitive-tests.patch
- - rw-r--r-- 290 series
- - rw-r--r-- 313 skip-dot-pc.patch
- - rw-r--r-- 2,697 spelling.patch
- - rw-r--r-- 1,909 ssrmatching-license.patch
- - rw-r--r-- 349 verbose-build.patch