Kaynak Paket: ssreflect (1.10.0+dfsg-2)
ssreflect için bağlantılar
Trisquel Kaynakları:
Geliştirici:
Original Maintainers:
- Debian OCaml Maintainers
(Posta Arşivi)
- Stéphane Glondu
- Enrico Tassi
- Ralf Treinen
Dış Kaynaklar:
Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
- libssreflect-coq
- Mathematical Components library for Coq
ssreflect ile İlgili Diğer Paketler
|
- bağımsız inşa bağımlılıkları
|
-
- adep:
debhelper-compat
(= 12)
- Paket mevcut değil
-
- adep:
coq
(>= 8.7)
- proof assistant for higher-order logic (toplevel and compiler)
-
- adep:
lua5.1
- Simple, extensible, embeddable programming language