Tarkennettu haku
bookworm  ] [  sid  ]

Source Package: coq-gappa (1.5.2-4)

Links for coq-gappa

Debian-palvelut:

Ylläpitäjät:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
libcoq-gappa
Coq tactic to use Gappa for floating-point goals

Muut pakettiin coq-gappa liittyvät paketit

  • build-depends
  • build-depends-indep

Download coq-gappa

TiedostoKoko (kt)MD5-tarkiste
coq-gappa_1.5.2-4.dsc 2.0 kt 9f9f65307599af98875236e27aa96cf1
coq-gappa_1.5.2.orig.tar.bz2 71.8 kt 826d7d56a103fc2c822f26e4db87e493
coq-gappa_1.5.2-4.debian.tar.xz 1.9 kt 22d8be9df660c8d92ea2683d828e8b88
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-gappa.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-gappa