Tarkennettu haku
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-ext-lib (0.11.7-2)

Links for coq-ext-lib

Debian-palvelut:

Ylläpitäjät:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
libcoq-ext-lib
Collection of theories and plugins for Coq

Muut pakettiin coq-ext-lib liittyvät paketit

  • build-depends
  • build-depends-indep

Download coq-ext-lib

TiedostoKoko (kt)MD5-tarkiste
coq-ext-lib_0.11.7-2.dsc 2.0 kt 429668cf8b361fa48860119f7f8c302f
coq-ext-lib_0.11.7.orig.tar.gz 81.0 kt a71175b8e2b9c005d4e333a25ace42ba
coq-ext-lib_0.11.7-2.debian.tar.xz 2.0 kt 420d7e78ab9827de4f506d430d96ee01
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-ext-lib.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-ext-lib