ghc-copilot-devel-3.19.1-2.fc40 in Fedora 40

↵ Return to the main page of ghc-copilot-devel
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date	Author	Change
2024-09-06	Frank Dedden <frank at systemf dot dev> - 3.19.1-1	- spec file generated by cabal-rpm-2.2.1

Dependencies

Provides

ghc-copilot-devel
ghc-copilot-devel(x86-64)
ghc-copilot-static
ghc-copilot-static(x86-64)
ghc-devel(copilot-3.19.1-LsLzsljzaFw5ADZREkuxAl)

Files

usr/
- lib64/
  - ghc-9.4.5/
    - lib/
      - copilot-3.19.1/
        
        Language/
        
        Copilot/
        
        Main.dyn_hi
        
        Main.hi
        
        Copilot.dyn_hi
        
        Copilot.hi
        
        libHScopilot-3.19.1-LsLzsljzaFw5ADZREkuxAl.a
      - package.conf.d/
        
        copilot-3.19.1.conf
- share/
  - doc/
    - ghc-copilot-devel/
      - CHANGELOG
      - README.md
      - examples/
        
        AddMult.hs
        
        Array.hs
        
        Cast.hs
        
        Clock.hs
        
        Counter.hs
        
        Engine.hs
        
        Heater.hs
        
        Structs.hs
        
        Voting.hs
        
        WCV.hs
        
        what4/
        
        Arithmetic.hs
        
        Propositional.hs
        
        Structs.hs

Sources on Pagure