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

Source Package: ssreflect (2.3.0-1build19) [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
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.3.0.orig.tar.gz	1,836.7 kB	9120bb2399f98c4ba1e03677c2ebabd8
ssreflect_2.3.0-1build19.debian.tar.xz	12.8 kB	2e1af596b7e998fcf5a6754c84f6f59c
ssreflect_2.3.0-1build19.dsc	2.6 kB	586f37f58810a2baf28c7097ab339ec0

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