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

Zdrojový balík: ssreflect (1.12.0-1)

Odkazy pre ssreflect

Zdroje Debian:

Správcovia:

Externé zdroje:

Domovská stránka [math-comp.github.io]

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

libssreflect-coq: Mathematical Components library for Coq

Ostatné balíky súvisiace s balíkom ssreflect

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Balík nie je dostupný
adep: coq (>= 8.7)

asistent dôkazov logiky vyššieho rádu (najvyššia úroveň a kompilátor)
adep: lua5.1

jednoduchý, rozšíriteľný vkladateľný programovací jazyk

Download ssreflect

Súbor	Veľkosť (v kB)	kontrolný súčet MD5
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

Úložisko zdrojových balíkov Debianu (VCS: Git): https://salsa.debian.org/ocaml-team/ssreflect.git
Úložisko zdrojových balíkov Debianu (možno prezerať): https://salsa.debian.org/ocaml-team/ssreflect