[ jammy ] [ noble ] [ plucky ] [ questing ] [ resolute ]

Source Package: ssreflect (2.3.0-1build12) [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-1build12.dsc	2.6 kB	230687a1f33801fb3522b11f3521cdcc
ssreflect_2.3.0.orig.tar.gz	1,836.7 kB	9120bb2399f98c4ba1e03677c2ebabd8
ssreflect_2.3.0-1build12.debian.tar.xz	12.7 kB	35e133830e6064864cc7a37cb64d851e

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