tüm seçenekler
bookworm  ] [  trixie  ] [  sid  ]

Kaynak Paket: flocq (4.1.4-1)

flocq için bağlantılar

Debian Kaynakları:

Geliştiriciler:

Dış Kaynaklar:

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
libcoq-flocq
Floating-point arithmetic for Coq

flocq ile İlgili Diğer Paketler

  • inşa bağımlılıkları
  • bağımsız inşa bağımlılıkları

Download flocq

DosyaBoyut (kB cinsinden)MD5 sağlama toplamı
flocq_4.1.4-1.dsc 2,0 kB bedd00c67c5e6f3e07627092d7d0272f
flocq_4.1.4.orig.tar.bz2 325,8 kB f95b810cb0f030bf716c8889768936e4
flocq_4.1.4-1.debian.tar.xz 1,7 kB 712d644ab31fbaf80f04962372e3f034
Debian Paket Kaynak Deposu (VCS: Git)
https://salsa.debian.org/ocaml-team/flocq.git
Debian Paket Kaynak Deposu (Gezinilebilir)
https://salsa.debian.org/ocaml-team/flocq