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

Source Package: ssreflect (1.12.0-1)

Links for ssreflect

Debian Resources:

Maintainers:

Debian OCaml Maintainers (QA Page, Mail Archive)
Stéphane Glondu (QA Page)
Enrico Tassi (QA Page)
Ralf Treinen (QA Page)

External Resources:

Homepage [math-comp.github.io]

The following binary packages are built from this source package:

libssreflect-coq: Mathematical Components library for Coq

Other Packages Related to ssreflect

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Package not available
adep: coq (>= 8.7)

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

Simple, extensible, embeddable programming language

Download ssreflect

File	Size (in kB)	MD5 checksum
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 Package Source Repository (VCS: Git): https://salsa.debian.org/ocaml-team/ssreflect.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/ocaml-team/ssreflect