Alle Optionen
bookworm  ] [  sid  ]

Quellcode-Paket: coq-gappa (1.5.2-4)

Links für coq-gappa

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
libcoq-gappa
Coq tactic to use Gappa for floating-point goals

Andere Pakete mit Bezug zu coq-gappa

  • build-depends
  • build-depends-indep

Download coq-gappa

DateiGröße (in kB)MD5-Prüfsumme
coq-gappa_1.5.2-4.dsc 2,0 kB 9f9f65307599af98875236e27aa96cf1
coq-gappa_1.5.2.orig.tar.bz2 71,8 kB 826d7d56a103fc2c822f26e4db87e493
coq-gappa_1.5.2-4.debian.tar.xz 1,9 kB 22d8be9df660c8d92ea2683d828e8b88
Quellcode-Depot des Debian-Pakets (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-gappa.git
Quellcode-Depot des Debian-Pakets (browsable)
https://salsa.debian.org/ocaml-team/coq-gappa