| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: ghc-logict | Distribution: SUSE Linux Enterprise 15 SP5 |
| Version: 0.7.1.0 | Vendor: openSUSE |
| Release: bp155.2.16 | Build date: Mon May 22 12:11:05 2023 |
| Group: Unspecified | Build host: obs-power9-13 |
| Size: 269388 | Source RPM: ghc-logict-0.7.1.0-bp155.2.16.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://hackage.haskell.org/package/logict | |
| Summary: A backtracking logic-programming monad | |
Adapted from the paper <http://okmij.org/ftp/papers/LogicT.pdf Backtracking, Interleaving, and Terminating Monad Transformers> by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry.
BSD-3-Clause
* Mon Jan 18 2021 psimons@suse.com
- Update logict to version 0.7.1.0.
[#] 0.7.1.0
* Improve documentation.
* Relax superclasses of `MonadLogic` to `Monad` and `Alternative` instead of `MonadPlus`.
* Thu Dec 17 2020 Ondřej Súkup <mimi.vx@gmail.com>
- disable %{ix86} build
* Thu Aug 27 2020 psimons@suse.com
- Update logict to version 0.7.0.3.
[#] 0.7.0.3
* Support GHC 9.0.
* Tue Aug 25 2020 psimons@suse.com
- Add logict at version 0.7.0.2.
/usr/lib64/ghc-8.10.7/logict-0.7.1.0 /usr/lib64/ghc-8.10.7/logict-0.7.1.0/libHSlogict-0.7.1.0-LbEQSuVDp53Fv83TiLeWFY-ghc8.10.7.so /usr/share/licenses/ghc-logict /usr/share/licenses/ghc-logict/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Jul 24 19:18:58 2026