všetky možnosti
bookworm  ] [  trixie  ] [  sid  ]

Zdrojový balík: paramcoq (1.1.3+coq8.16-3)

Odkazy pre paramcoq

Zdroje Debian:

Správcovia:

Externé zdroje:

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
libcoq-paramcoq
Coq plugin to generate parametricity statements

Ostatné balíky súvisiace s balíkom paramcoq

  • build-depends
  • build-depends-indep

Download paramcoq

SúborVeľkosť (v kB)kontrolný súčet MD5
paramcoq_1.1.3+coq8.16-3.dsc 2.1 kB fd7fafbd482dfb93e19d4236a5ebfb48
paramcoq_1.1.3+coq8.16.orig.tar.gz 44.7 kB ae4a02f476e0fb5749e33f80499b13db
paramcoq_1.1.3+coq8.16-3.debian.tar.xz 2.8 kB 5c0089494a4f5210599d50ee8701038d
Úložisko zdrojových balíkov Debianu (VCS: Git)
https://salsa.debian.org/ocaml-team/paramcoq.git
Úložisko zdrojových balíkov Debianu (možno prezerať)
https://salsa.debian.org/ocaml-team/paramcoq