[ focal ] [ jammy ] [ noble ] [ oracular ] [ plucky ]

Source Package: ssreflect (2.1.0-1build4) [universe]

Links for ssreflect

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

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

The following binary packages are built from this source package:

libcoq-mathcomp: Mathematical Components library for Coq (all)
libcoq-mathcomp-algebra: Mathematical Components library for Coq (algebra)
libcoq-mathcomp-character: Mathematical Components library for Coq (character)
libcoq-mathcomp-field: Mathematical Components library for Coq (field)
libcoq-mathcomp-fingroup: Mathematical Components library for Coq (finite groups)
libcoq-mathcomp-solvable: Mathematical Components library for Coq (finite groups II)
libcoq-mathcomp-ssreflect: Mathematical Components library for Coq (small scale reflection)

adep: debhelper-compat (= 13)

Package not available
adep: dh-coq

debhelper tool for Coq-related Debian packages
adep: coq (>= 8.11)

proof assistant for higher-order logic (toplevel and compiler)
adep: libcoq-hierarchy-builder

build hierarchies of algebraic structures in Coq (runtime files)
adep: libcoq-stdlib

proof assistant for higher-order logic (theories)
adep: lua5.4

Simple, extensible, embeddable programming language

File	Size (in kB)	MD5 checksum
ssreflect_2.1.0-1build4.dsc	2.6 kB	4d983ccc2a68092b644299d264c71451
ssreflect_2.1.0.orig.tar.gz	1,792.5 kB	ccb615155a4266918d4f249cd23d33fc
ssreflect_2.1.0-1build4.debian.tar.xz	12.5 kB	decf5368ecf5e280d09cd0ce64a3ac2e

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