[  etiona  ] [  nabia  ] [  aramo  ]

Odnośniki dla ssreflect

Zasoby systemu Trisquel:

• Raporty o błędach
• Changelog
• Informacje nt. praw autorskich
• Repozytorium kodu źródłowego Debiana (Git)

Opiekun:

• Debian OCaml Maintainers (Archiwum e-mail)

Original Maintainers:

• Debian OCaml Maintainers (Archiwum e-mail)
• Stéphane Glondu
• Enrico Tassi
• Ralf Treinen

Zasoby zewnętrzne:

• Strona internetowa [math-comp.github.io]

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:

libssreflect-coq

Mathematical Components library for Coq

Inne pakiety związane z ssreflect

build-depends

build-depends-indep

• adep: debhelper-compat (= 12)

  Pakiet niedostępny

• adep: coq (>= 8.7)

  proof assistant for higher-order logic (toplevel and compiler)

• adep: lua5.1

  Simple, extensible, embeddable programming language

Download ssreflect

Plik	Rozmiar (w KiB)	Suma kontrolna MD5
ssreflect_1.10.0+dfsg-2.dsc	2,1 KiB	c7c65a0628367fdbc44b71971eaa7562
ssreflect_1.10.0+dfsg.orig.tar.gz	1 189,5 KiB	d2f2727977a7391c83471ac6fc74a9f4
ssreflect_1.10.0+dfsg-2.debian.tar.xz	12,4 KiB	e649edd3912c66bccf58172c84f7fa37

Repozytorium kodu źródłowego Debiana (VCS: Git)

https://salsa.debian.org/ocaml-team/ssreflect.git

Repozytorium kodu źródłowego Debiana (do przeglądania)

https://salsa.debian.org/ocaml-team/ssreflect