ghc-puresat-devel-0.1-2.fc43

Date	Author	Change
2025-04-07	Jens Petersen <petersen at redhat dot com> - 1.1-2	- Rebuild
2025-03-26	Jens Petersen <petersen at redhat dot com> - 1.1-1	- https://hackage.haskell.org/package/spdx-1.1/changelog - add puresat
2025-02-23	Jens Petersen <petersen at redhat dot com> - 1.0.0.3-19	- cabal-rpm-2.3.0
2025-01-16	Fedora Release Engineering <releng at fedoraproject dot org> - 1.0.0.3-18	- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2024-07-29	Jens Petersen <petersen at redhat dot com> - 1.0.0.3-17	- bump some deps bounds
2024-07-18	Fedora Release Engineering <releng at fedoraproject dot org> - 1.0.0.3-16	- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
2024-07-15	Jens Petersen <petersen at redhat dot com> - 1.0.0.3-15	- refresh to cabal-rpm-2.2.1
2024-01-24	Fedora Release Engineering <releng at fedoraproject dot org> - 1.0.0.3-14	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 1.0.0.3-13	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2023-07-25	Jens Petersen <petersen at redhat dot com> - 1.0.0.3-12	- bump Cabal and base

Dependencies

Provides

ghc-devel(puresat-0.1-6f9TbJnH0J5KulqlniI3Uw)
ghc-devel(puresat-0.1-C7lx7qo566SBw35AzCXA7b-dimacs)
ghc-puresat-devel
ghc-puresat-devel(x86-64)
ghc-puresat-static
ghc-puresat-static(x86-64)

Files

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

ghc-puresat-devel-0.1-2.fc43 in Fedora Rawhide

Changelog

Dependencies

Provides

Files