[ bullseye ] [ bookworm ] [ trixie ] [ sid ]

源码包：ssreflect（1.12.0-1）

ssreflect 的相关链接

Debian 的资源：

维护小组：

外部的资源：

主页 [math-comp.github.io]

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

libssreflect-coq: Mathematical Components library for Coq

其他与 ssreflect 有关的软件包

构建架构特定包依赖

构建架构独立包依赖

adep: debhelper-compat (= 13)

软件包暂时不可用
adep: coq (>= 8.7)

proof assistant for higher-order logic (toplevel and compiler)
adep: lua5.1

Simple, extensible, embeddable programming language

Download ssreflect

文件	大小（单位：kB）	MD5 校验码
ssreflect_1.12.0-1.dsc	2.0 kB	bc09f7fa31e56fda9fe2a5e3dc1f82e2
ssreflect_1.12.0.orig.tar.gz	1,287.9 kB	a6afdeff50a50117baf9a35dd5601afe
ssreflect_1.12.0-1.debian.tar.xz	12.5 kB	e39a30f7bd2849e299a1c47a0c1517ed

Debian 软件包源码仓库（VCS：Git）: https://salsa.debian.org/ocaml-team/ssreflect.git
Debian 软件包源码仓库（可在线浏览）: https://salsa.debian.org/ocaml-team/ssreflect