| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: ghc-puresat-prof | Distribution: Fedora Project |
| Version: 0.1 | Vendor: Fedora Project |
| Release: 2.fc43 | Build date: Mon Apr 7 16:57:49 2025 |
| Group: Unspecified | Build host: buildhw-a64-03.iad2.fedoraproject.org |
| Size: 3297198 | Source RPM: ghc-spdx-1.1-2.fc43.src.rpm |
| Packager: Fedora Project | |
| Url: https://hackage.haskell.org/package/spdx | |
| Summary: Haskell puresat profiling library | |
This package provides the Haskell puresat profiling library.
BSD-3-Clause
* Mon Apr 07 2025 Jens Petersen <petersen@redhat.com> - 1.1-2 - Rebuild * Wed Mar 26 2025 Jens Petersen <petersen@redhat.com> - 1.1-1 - https://hackage.haskell.org/package/spdx-1.1/changelog - add puresat * Sun Feb 23 2025 Jens Petersen <petersen@redhat.com> - 1.0.0.3-19 - cabal-rpm-2.3.0 * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.0.3-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Mon Jul 29 2024 Jens Petersen <petersen@redhat.com> - 1.0.0.3-17 - bump some deps bounds * Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.0.3-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Mon Jul 15 2024 Jens Petersen <petersen@redhat.com> - 1.0.0.3-15 - refresh to cabal-rpm-2.2.1 * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.0.3-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.0.3-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jul 25 2023 Jens Petersen <petersen@redhat.com> - 1.0.0.3-12 - bump Cabal and base * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.0.3-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/Control/Monad/SAT.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/EST.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Assert.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Base.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Boost.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Clause2.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/DIMACS.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LBool.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LCG.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Level.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LitSet.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LitTable.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LitVar.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Main.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/PartialAssignment.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Prim.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Satisfied.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/SparseMaxHeap.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/SparseSet.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Stats.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Trail.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Utils.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/VarSet.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Vec.p_hi /usr/lib64/ghc-9.8.4/lib/puresat-0.1/libHSpuresat-0.1-2E0PMV39jY79Agatwlk0E2-internal_p.a /usr/lib64/ghc-9.8.4/lib/puresat-0.1/libHSpuresat-0.1-CTraWAngbMw2vaBZ6pAfhb-dimacs_p.a /usr/lib64/ghc-9.8.4/lib/puresat-0.1/libHSpuresat-0.1-FJp30Do6zVdDB0jMFoAs9r_p.a
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Apr 17 00:49:47 2025