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

Quellcode-Paket: ssreflect (2.1.0-1build4) [universe]

Links für 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.

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

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)

Paket nicht verfügbar
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

Datei	Größe (in kB)	MD5-Prüfsumme
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

Quellcode-Depot des Debian-Pakets (VCS: Git): https://salsa.debian.org/ocaml-team/ssreflect.git
Quellcode-Depot des Debian-Pakets (browsable): https://salsa.debian.org/ocaml-team/ssreflect