» Ubuntu » Paket » noble (24.04LTS) » Källkod » misc » flocq
[  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Källkodspaket: flocq (4.1.3-1build4) [universe]

Länkar för flocq

Ubunturesurser:

Ansvarig:

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.

Externa resurser:

  • Hemsida [flocq.gitlabpages.inria.fr]
Följande binärpaket byggs från detta källkodspaket:
libcoq-flocq
Floating-point arithmetic for Coq

Andra paket besläktade med flocq

  • bygg-beroende
  • arkitekturoberoende bygg-beroende
  • adep: coq
    proof assistant for higher-order logic (toplevel and compiler)
  • adep: debhelper-compat (= 13)
    Paketet inte tillgängligt
  • 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

FilStorlek (i kbyte)MD5-kontrollsumma
flocq_4.1.3-1build4.dsc 2,0 kbyte 1d7ec07e09ebe7f8a2345c2d5b40cd2f
flocq_4.1.3.orig.tar.bz2 325,7 kbyte 099d46c1193adcd80c609d6ffbc34c44
flocq_4.1.3-1build4.debian.tar.xz 2,0 kbyte 4cca8b5fbdf702f9487a893f89580dca
Debians paketkällkodsarkiv- (VCS: Git)
https://salsa.debian.org/ocaml-team/flocq.git
Debians paketkällkodsarkiv (blädderbart)
https://salsa.debian.org/ocaml-team/flocq