Tarkennettu haku
bookworm  ] [  trixie  ] [  sid  ]

Source Package: paramcoq (1.1.3+coq8.18-1)

Links for paramcoq

Debian-palvelut:

Ylläpitäjät:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
libcoq-paramcoq
Coq plugin to generate parametricity statements

Muut pakettiin paramcoq liittyvät paketit

  • build-depends
  • build-depends-indep

Download paramcoq

TiedostoKoko (kt)MD5-tarkiste
paramcoq_1.1.3+coq8.18-1.dsc 2.1 kt b1d38263a020729dbc7d0174b52fe927
paramcoq_1.1.3+coq8.18.orig.tar.gz 44.7 kt 493f4cc42f745881f7d64f05fb438dec
paramcoq_1.1.3+coq8.18-1.debian.tar.xz 3.0 kt 29da8affc237b99efbeb5cc2081810da
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/paramcoq.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/paramcoq