all options
bookworm  ] [  sid  ]

Source Package: coq-hammer (1.3.2+8.16-1)

Links for coq-hammer

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libcoq-hammer
automated reasoning tool for Coq

Other Packages Related to coq-hammer

  • build-depends
  • build-depends-indep

Download coq-hammer

FileSize (in kB)MD5 checksum
coq-hammer_1.3.2+8.16-1.dsc 2.0 kB d47e6abc38d4d4c1a63d0b27071e5218
coq-hammer_1.3.2+8.16.orig.tar.gz 145.2 kB d3d759c01cbba8a4f156661fadc963e5
coq-hammer_1.3.2+8.16-1.debian.tar.xz 2.2 kB 53d5e02872f7b5724708b3acbfa113e1
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