» Ubuntu » Pakketten » stonking » Bron » misc » flocq
[  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Bronpakket: flocq (4.2.1-1build5) [universe]

Verwijzigingen voor flocq

Ubuntu bronnen:

Beheerder:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Externe bronnen:

De volgende binaire pakketten worden van dit bronpakket gebouwd:
libcoq-flocq
Floating-point arithmetic for Coq

Andere aan flocq gerelateerde pakketten

  • build-depends
  • build-depends-indep
  • adep: coq
    proof assistant for higher-order logic (toplevel and compiler)
  • adep: debhelper-compat (= 13)
    Pakket niet beschikbaar
  • adep: dh-coq
    debhelper tool for Coq-related Debian packages
  • adep: dh-ocaml
    helper tools for maintaining OCaml-related Debian packages
  • adep: libcoq-core-ocaml-dev
    development libraries and tools for Coq
  • adep: libcoq-stdlib
    proof assistant for higher-order logic (theories)

Download flocq

BestandGrootte (in kB)MD5 checksum
flocq_4.2.1.orig.tar.bz2 323,3 kB 3d232009af380ae5a366f96fc240ae48
flocq_4.2.1-1build5.debian.tar.xz 2,1 kB 09e3e62c57c22027550a8ff80e0301ab
flocq_4.2.1-1build5.dsc 2,0 kB ac4aa7c06ff94ac92bc2a2dc704e319f
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/flocq.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/flocq