alle opties
bookworm  ] [  trixie  ] [  sid  ]

Bronpakket: coq-hammer (1.3.2+8.19-1)

Verwijzigingen voor coq-hammer

Debian bronnen:

Beheerders:

Externe bronnen:

De volgende binaire pakketten worden van dit bronpakket gebouwd:
libcoq-hammer
automated reasoning tool for Coq

Andere aan coq-hammer gerelateerde pakketten

  • build-depends
  • build-depends-indep

Download coq-hammer

BestandGrootte (in kB)MD5 checksum
coq-hammer_1.3.2+8.19-1.dsc 2,1 kB 6845f3da7550255f9180e9b4aa135951
coq-hammer_1.3.2+8.19.orig.tar.gz 145,4 kB d8b4c08209b8f71113dd5a8fd262ffd0
coq-hammer_1.3.2+8.19-1.debian.tar.xz 2,5 kB a4505f5d56a65133b83eaa467c57d542
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-hammer.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-hammer