[ 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