Alle Optionen
bookworm  ] [  trixie  ] [  sid  ]

Quellcode-Paket: coq-hammer (1.3.2+8.18-1)

Links für coq-hammer

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
libcoq-hammer
automated reasoning tool for Coq

Andere Pakete mit Bezug zu coq-hammer

  • build-depends
  • build-depends-indep

Download coq-hammer

DateiGröße (in kB)MD5-Prüfsumme
coq-hammer_1.3.2+8.18-1.dsc 2,1 kB 33900f44cdf0580d42e3705288132c63
coq-hammer_1.3.2+8.18.orig.tar.gz 145,3 kB 58022a87c9d0b8e5a2838733190ecd6d
coq-hammer_1.3.2+8.18-1.debian.tar.xz 2,5 kB ba492d539b5d7279278e55e97ec984db
Quellcode-Depot des Debian-Pakets (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-hammer.git
Quellcode-Depot des Debian-Pakets (browsable)
https://salsa.debian.org/ocaml-team/coq-hammer