Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ghc-copilot-theorem-devel-4.1-1.fc43 RPM for s390x

From Fedora Rawhide for s390x / g

Name: ghc-copilot-theorem-devel Distribution: Fedora Project
Version: 4.1 Vendor: Fedora Project
Release: 1.fc43 Build date: Sat Apr 12 17:21:52 2025
Group: Unspecified Build host: buildvm-s390x-01.s390.fedoraproject.org
Size: 7710575 Source RPM: ghc-copilot-theorem-4.1-1.fc43.src.rpm
Packager: Fedora Project
Url: https://hackage.haskell.org/package/copilot-theorem
Summary: Haskell copilot-theorem library development files
 
This package provides the Haskell copilot-theorem library development
files.

Provides

Requires

License

BSD-3-Clause

Changelog

* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 4.1-1
  - https://hackage.haskell.org/package/copilot-theorem-4.1/changelog
* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 3.19.1-4
  - refresh to cabal-rpm-2.3.0
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 3.19.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Mon Sep 02 2024 Frank Dedden <frank@systemf.dev> - 3.19.1-1
  - spec file generated by cabal-rpm-2.2.1

Files

/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL/PrettyPrint.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL/PrettyPrint.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL/Spec.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL/Spec.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL/Transform.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL/Transform.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL/Translate.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/IL/Translate.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/AST.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/AST.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/Output.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/Output.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/PrettyPrint.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/PrettyPrint.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/Prover.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/Prover.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/Translate.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Kind2/Translate.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Misc
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Misc/Error.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Misc/Error.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Misc/SExpr.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Misc/SExpr.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Misc/Utils.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Misc/Utils.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prove.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prove.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/Backend.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/Backend.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/SMT.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/SMT.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/SMTIO.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/SMTIO.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/SMTLib.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/SMTLib.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/TPTP.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Prover/TPTP.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Tactics.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/Tactics.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Cast.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Cast.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Invariants.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Invariants.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Operators.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Operators.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/PrettyPrint.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/PrettyPrint.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Renaming.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Renaming.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Spec.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Spec.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Transform.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Transform.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Translate.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Translate.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Type.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/TransSys/Type.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/What4
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/What4.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/What4.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/What4/Translate.dyn_hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/Copilot/Theorem/What4/Translate.hi
/usr/lib64/ghc-9.8.4/lib/copilot-theorem-4.1/libHScopilot-theorem-4.1-6gc9Rgn6Scz68cy6N92iMU.a
/usr/lib64/ghc-9.8.4/lib/package.conf.d/copilot-theorem-4.1.conf
/usr/share/doc/ghc-copilot-theorem-devel
/usr/share/doc/ghc-copilot-theorem-devel/CHANGELOG
/usr/share/doc/ghc-copilot-theorem-devel/README.md

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Apr 26 02:41:41 2025