Name: ghc-puresat-devel	Distribution: Fedora Project
Version: 0.1	Vendor: Fedora Project
Release: 2.fc43	Build date: Mon Apr 7 16:57:56 2025
Group: Unspecified	Build host: buildhw-x86-12.iad2.fedoraproject.org
Size: 2025375	Source RPM: ghc-spdx-1.1-2.fc43.src.rpm
Packager: Fedora Project
Url: https://hackage.haskell.org/package/spdx
Summary: Haskell puresat library development files

This package provides the Haskell puresat library development files.

Provides

Requires

ghc-compiler = 9.8.4
ghc-devel(base-4.19.2.0-6e03)
ghc-devel(bytestring-0.12.1.0-bb11)
ghc-devel(containers-0.6.8-b2d8)
ghc-devel(parsec-3.1.17.0-db41)
ghc-devel(primitive-0.9.0.0-9lWW508Z1zq4f32hztDYir)
ghc-puresat(x86-64) = 0.1-2.fc43
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1

License

BSD-3-Clause

Changelog

* 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

Files

/usr/lib64/ghc-9.8.4/lib/package.conf.d/puresat-0.1-1oIIUZlUM2cJMQd80aEbTV-internal.conf
/usr/lib64/ghc-9.8.4/lib/package.conf.d/puresat-0.1-6f9TbJnH0J5KulqlniI3Uw.conf
/usr/lib64/ghc-9.8.4/lib/package.conf.d/puresat-0.1-C7lx7qo566SBw35AzCXA7b-dimacs.conf
/usr/lib64/ghc-9.8.4/lib/puresat-0.1
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/Control
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/Control/Monad
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/Control/Monad/SAT.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/Control/Monad/SAT.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/EST.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/EST.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Assert.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Assert.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Base.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Base.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Boost.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Boost.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Clause2.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Clause2.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/DIMACS.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/DIMACS.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LBool.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LBool.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LCG.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LCG.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Level.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Level.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LitSet.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LitSet.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LitTable.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LitTable.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LitVar.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/LitVar.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Main.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Main.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/PartialAssignment.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/PartialAssignment.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Prim.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Prim.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Satisfied.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Satisfied.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/SparseMaxHeap.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/SparseMaxHeap.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/SparseSet.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/SparseSet.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Stats.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Stats.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Trail.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Trail.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Utils.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Utils.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/VarSet.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/VarSet.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Vec.dyn_hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/PureSAT/Vec.hi
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/libHSpuresat-0.1-1oIIUZlUM2cJMQd80aEbTV-internal.a
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/libHSpuresat-0.1-6f9TbJnH0J5KulqlniI3Uw.a
/usr/lib64/ghc-9.8.4/lib/puresat-0.1/libHSpuresat-0.1-C7lx7qo566SBw35AzCXA7b-dimacs.a

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Apr 25 00:40:07 2025

ghc-puresat-devel-0.1-2.fc43 RPM for x86_64

From Fedora Rawhide for x86_64 / g

Provides

Requires

License

Changelog

Files