haskell-dec

Paket-Details

Name haskell-dec
Version 0.0.3-1
Beschreibung Decidable propositions
URL https://github.com/phadej/dec
Lizenzen BSD
Repositorium community
Architektur x86_64
Gruppen
Packer Felix Yan
Erstellt am 21.06.2019 04:44
Veröffentlicht am 21.06.2019 04:45
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket haskell-dec-0.0.3-1-x86_64.pkg.tar.xz
PGP-Signatur haskell-dec-0.0.3-1-x86_64.pkg.tar.xz.sig
Paket-Größe 12,20 KByte
Installations-Größe 45,00 KByte

Abhängigkeiten

Bauen von

benötigt von

Dateien