1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
Source: dh-coq
Section: ocaml
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Build-Depends: debhelper-compat (= 13)
Standards-Version: 4.6.2
Rules-Requires-Root: no
Vcs-Git: https://salsa.debian.org/ocaml-team/dh-coq.git
Vcs-Browser: https://salsa.debian.org/ocaml-team/dh-coq
Package: dh-coq
Architecture: all
Multi-Arch: foreign
Depends: ${misc:Depends}
Provides: dh-sequence-coq
Recommends: debhelper
Description: debhelper tool for Coq-related Debian packages
dh-coq is a tool to help maintain Coq-related Debian packages. It
computes checksums to tighten dependencies between them.
.
Coq is a proof assistant for higher-order logic.
Package: debian-coq-tools
Architecture: all
Multi-Arch: foreign
Depends: ${misc:Depends}, python3:any
Description: various tools to manage Coq-related Debian packages
Those tools make it easier to track package dependencies
and possible breakage and maintain the whole Coq-in-Debian stack
sane:
- coq-planif-transition: find out which packages depend on some
others for transition planification.
- coq-wanna-build: compute the dak script for a planned transition.
.
Coq is a proof assistant for higher-order logic.
|
