» Ubuntu » 软件包 » questing (25.10) » 源代码 » misc » paramcoq

[ noble ] [ questing ] [ resolute ] [ stonking ]

源码包: paramcoq (1.1.3+coq8.20-1build4) [universe]

paramcoq 的相关链接

Ubuntu 的资源:

维护者:

Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

Debian OCaml Maintainers (Mail Archive)
Julien Puydt

It should generally not be necessary for users to contact the original maintainer.

外部的资源:

主页 [github.com]

本源码包构建了以下这些二进制包:

libcoq-paramcoq: Coq plugin to generate parametricity statements

其他与 paramcoq 有关的软件包

完整构建时刻依赖

单独构建时刻依赖

adep: coq

proof assistant for higher-order logic (toplevel and compiler)
adep: debhelper-compat (= 13)

软件包暂时不可用
adep: dh-coq

debhelper tool for Coq-related Debian packages
adep: dh-ocaml

helper tools for maintaining OCaml-related Debian packages
adep: libcoq-core-ocaml-dev

development libraries and tools for Coq
adep: libcoq-stdlib

proof assistant for higher-order logic (theories)

Download paramcoq

文件	大小(单位: kB)	MD5 校验码
paramcoq_1.1.3+coq8.20-1build4.dsc	2.1 kB	29c14e7ccf66bb0417b2049fccc9d537
paramcoq_1.1.3+coq8.20.orig.tar.gz	44.7 kB	917fcdc199ded6847ed0425a92876c27
paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz	3.3 kB	398fd0b71514f4e678e42b25ca81d4e1

Debian 软件包源码仓库(VCS: Git): https://salsa.debian.org/ocaml-team/paramcoq.git
Debian 软件包源码仓库(可在线浏览): https://salsa.debian.org/ocaml-team/paramcoq