haskell-refinery
Paket-Details
| Name | haskell-refinery |
|---|---|
| Version | 0.4.0.0-330 |
| Beschreibung | Toolkit for building proof automation systems |
| URL | https://github.com/totbwf/refinery#readme |
| Lizenzen | BSD |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Felix Yan |
| Erstellt am | 08.04.2026 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | haskell-refinery-0.4.0.0-330-x86_64.pkg.tar.zst |
| PGP-Signatur | haskell-refinery-0.4.0.0-330-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 92.5 KiB |
| Installations-Größe | 615.6 KiB |
| Beliebtheit |