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:50:54 2023 |
Group: Unspecified | Build host: s390zl21 |
Size: 281748 | 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, Tue Jul 9 18:25:27 2024