wszystkie opcje
bookworm  ] [  trixie  ] [  sid  ]

Pakiet źródłowy: coq-extructures (0.3.1-3)

Odnośniki dla coq-extructures

Zasoby systemu Debian:

Opiekunowie:

Zasoby zewnętrzne:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
libcoq-extructures
data structures with extensional reasoning for Coq

Inne pakiety związane z coq-extructures

  • build-depends
  • build-depends-indep

Download coq-extructures

PlikRozmiar (w KiB)Suma kontrolna MD5
coq-extructures_0.3.1-3.dsc 2,1 KiB 16f6b523751337d3a6b8237dc8c6d910
coq-extructures_0.3.1.orig.tar.gz 37,4 KiB 32bc923a3a383ede669fc9063cffa52d
coq-extructures_0.3.1-3.debian.tar.xz 2,0 KiB a7fec3dfe2751d61c7bb5175f8fe71b5
Repozytorium kodu źródłowego Debiana (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-extructures.git
Repozytorium kodu źródłowego Debiana (do przeglądania)
https://salsa.debian.org/ocaml-team/coq-extructures