wszystkie opcje
bookworm  ] [  trixie  ] [  sid  ]

Pakiet źródłowy: coq-ext-lib (0.11.7-2)

Odnośniki dla coq-ext-lib

Zasoby systemu Debian:

Opiekunowie:

Zasoby zewnętrzne:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
libcoq-ext-lib
Collection of theories and plugins for Coq

Inne pakiety związane z coq-ext-lib

  • build-depends
  • build-depends-indep

Download coq-ext-lib

PlikRozmiar (w KiB)Suma kontrolna MD5
coq-ext-lib_0.11.7-2.dsc 2,0 KiB 429668cf8b361fa48860119f7f8c302f
coq-ext-lib_0.11.7.orig.tar.gz 81,0 KiB a71175b8e2b9c005d4e333a25ace42ba
coq-ext-lib_0.11.7-2.debian.tar.xz 2,0 KiB 420d7e78ab9827de4f506d430d96ee01
Repozytorium kodu źródłowego Debiana (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-ext-lib.git
Repozytorium kodu źródłowego Debiana (do przeglądania)
https://salsa.debian.org/ocaml-team/coq-ext-lib