[ Bron: coq-math-classes ]
Pakket: libcoq-math-classes (8.15.0-4 en anderen)
Verwijzigingen voor libcoq-math-classes
Debian bronnen:
Het bronpakket coq-math-classes downloaden:
- [coq-math-classes_8.15.0-4.dsc]
- [coq-math-classes_8.15.0.orig.tar.gz]
- [coq-math-classes_8.15.0-4.debian.tar.xz]
Beheerders:
Externe bronnen:
- Homepage [github.com]
Vergelijkbare pakketten:
Abstract interfaces for mathematical structures for Coq
Andere aan libcoq-math-classes gerelateerde pakketten
|
|
|
|
-
- dep: libcoq-bignums-gjvs2
- virtueel pakket geboden door libcoq-bignums
-
- dep: libcoq-stdlib-bj4w1
- virtueel pakket geboden door libcoq-stdlib