wszystkie opcje
bookworm  ] [  trixie  ] [  sid  ]

Pakiet źródłowy: coq-ext-lib (0.12.1-1)

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.12.1-1.dsc 2,0 KiB c5c921237852ca86f8c20e914efef1b2
coq-ext-lib_0.12.1.orig.tar.gz 82,3 KiB ad2ba3b94f2d86c45e89d9a681ea2a6d
coq-ext-lib_0.12.1-1.debian.tar.xz 2,2 KiB 6d0557063e5445947846fa5365cc5d69
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