coq-dpdgraph
source package
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/coq-dpdgraph
general
source
coq-dpdgraph
(
optional
,
misc
)
version
1.0+8.16-1
maint
Debian OCaml Maintainers
(
a
)
,
Julien Puydt
(u)
std-ver
4.6.1
VCS
Git
(
browse
)
versions
testing
1.0+8.16-1
unstable
1.0+8.16-1
binaries
coq-dpdgraph-tools
(
bugs
:
,
,
,
)
libcoq-dpdgraph
(
bugs
:
,
,
,
)
todo
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.6.2
instead of
4.6.1
).
news
RSS
[2023-01-25]
Accepted 1.0+8.16-2 in unstable (medium)
(Debian FTP Masters)
[2022-09-17]
coq-dpdgraph 1.0+8.16-1 MIGRATED to testing
(Britney)
[2022-09-06]
Accepted 1.0+8.16-1 in unstable (medium)
(Debian FTP Masters)
[2022-07-18]
coq-dpdgraph 1.0+8.15-2 MIGRATED to testing
(Britney)
[2022-07-16]
Accepted 1.0+8.15-2 in unstable (medium)
(Debian FTP Masters)
[2022-07-10]
coq-dpdgraph 1.0+8.15-1 MIGRATED to testing
(Britney)
[2022-07-01]
Accepted 1.0+8.15-1 in unstable (medium)
(Debian FTP Masters)
bugs
all
RC
I&N
M&W
F&P
links
homepage
changelog
/
copyright
buildd:
logs
,
clang
popcon
debtags
RDF meta-data
browse source code