wszystkie opcje
bookworm  ] [  sid  ]

Pakiet źródłowy: coq-gappa (1.5.2-4)

Odnośniki dla coq-gappa

Zasoby systemu Debian:

Opiekunowie:

Zasoby zewnętrzne:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
libcoq-gappa
Coq tactic to use Gappa for floating-point goals

Inne pakiety związane z coq-gappa

  • build-depends
  • build-depends-indep

Download coq-gappa

PlikRozmiar (w KiB)Suma kontrolna MD5
coq-gappa_1.5.2-4.dsc 2,0 KiB 9f9f65307599af98875236e27aa96cf1
coq-gappa_1.5.2.orig.tar.bz2 71,8 KiB 826d7d56a103fc2c822f26e4db87e493
coq-gappa_1.5.2-4.debian.tar.xz 1,9 KiB 22d8be9df660c8d92ea2683d828e8b88
Repozytorium kodu źródłowego Debiana (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-gappa.git
Repozytorium kodu źródłowego Debiana (do przeglądania)
https://salsa.debian.org/ocaml-team/coq-gappa