Codebase list coq / 13bf32a
Rules-requires-Root=no Ralf Treinen 3 years ago
2 changed file(s) with 4 addition(s) and 2 deletion(s). Raw diff Collapse all Expand all
+3
-2
debian/changelog less more
1414 - install ocamllibdep binary in the coq package
1515 * Debhelper compatibility level 13
1616 - drop override of dh_missing
17
18 -- Ralf Treinen <treinen@debian.org> Fri, 21 Aug 2020 20:21:06 +0200
17 * Set Rules-Requires-Root=no
18
19 -- Ralf Treinen <treinen@debian.org> Fri, 21 Aug 2020 20:24:43 +0200
1920
2021 coq (8.11.1~pre1-1) experimental; urgency=medium
2122
+1
-0
debian/control less more
2323 rsync,
2424 tex-common
2525 Build-Conflicts: libcoq-ocaml
26 Rules-Requires-Root: no
2627 Homepage: http://coq.inria.fr/
2728 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
2829 Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git