Information for RPM ghc-logict-0.8.2.0-1.oc9.aarch64.rpm
| ID | 423063 | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | ghc-logict-0.8.2.0-1.oc9 | |||||||||||||||||||||
| Name | ghc-logict | |||||||||||||||||||||
| Version | 0.8.2.0 | |||||||||||||||||||||
| Release | 1.oc9 | |||||||||||||||||||||
| Epoch | ||||||||||||||||||||||
| Arch | aarch64 | |||||||||||||||||||||
| Draft | False | |||||||||||||||||||||
| Summary | A backtracking logic-programming monad | |||||||||||||||||||||
| Description | A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers": <http://okmij.org/ftp/papers/LogicT.pdf>. | |||||||||||||||||||||
| Build Time | 2025-10-14 02:33:39 GMT | |||||||||||||||||||||
| Size | 51.29 KB | |||||||||||||||||||||
| fc5a5358fa32d871694084d85635abca | ||||||||||||||||||||||
| License | BSD-3-Clause | |||||||||||||||||||||
| Buildroot | dist-oc9-epol-build-221739-80980 | |||||||||||||||||||||
| Provides |
|
|||||||||||||||||||||
| Obsoletes | No Obsoletes | |||||||||||||||||||||
| Conflicts | No Conflicts | |||||||||||||||||||||
| Requires |
|
|||||||||||||||||||||
| Recommends | No Recommends | |||||||||||||||||||||
| Suggests | No Suggests | |||||||||||||||||||||
| Supplements | No Supplements | |||||||||||||||||||||
| Enhances | No Enhances | |||||||||||||||||||||
| Files |
|
|||||||||||||||||||||
| Component of |
|
|||||||||||||||||||||



