ghc-Agda-prof-2.6.4.1-46.fc40 in Fedora 40
↵ Return to the main page of ghc-Agda-prof
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2024-01-22 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.4.1-46 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2024-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.4.1-45 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2024-01-18 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.4.1-44 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2023-12-07 | Jens Petersen <petersen at redhat dot com> - 2.6.4.1-43 | - https://hackage.haskell.org/package/Agda-2.6.4.1/changelog - update peano to 0.1.0.2 |
| 2023-10-17 | Jens Petersen <petersen at redhat dot com> - 2.6.4-42 | - F40: enable optimise-heavily flag |
| 2023-10-09 | Jens Petersen <petersen at redhat dot com> - 2.6.4-41 | - update to 2.6.4 - https://hackage.haskell.org/package/Agda-2.6.4/changelog |
| 2023-07-29 | Jens Petersen <petersen at redhat dot com> - 2.6.3-40 | - https://hackage.haskell.org/package/Agda-2.6.3/changelog |
| 2023-07-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.2.2-39 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild |
| 2023-07-11 | Jens Petersen <petersen at redhat dot com> | - drop geniplate-mirror: not needed since 2.6.2 |
| 2023-02-18 | Jens Petersen <petersen at redhat dot com> - 2.6.2.2-38 | - refresh to cabal-rpm-2.1.0 including SPDX migration - bump geniplate-mirror to 0.7.9 |
Dependencies
- ghc-Agda-devel = 2.6.4.1-46.fc40
- ghc-STMonadTrans-prof
- ghc-aeson-prof
- ghc-ansi-terminal-prof
- ghc-array-prof
- ghc-async-prof
- ghc-base-prof
- ghc-binary-prof
- ghc-blaze-html-prof
- ghc-boxes-prof
- ghc-bytestring-prof
- ghc-case-insensitive-prof
- ghc-containers-prof
- ghc-data-hash-prof
- ghc-deepseq-prof
- ghc-directory-prof
- ghc-dlist-prof
- ghc-edit-distance-prof
- ghc-equivalence-prof
- ghc-exceptions-prof
- ghc-filepath-prof
- ghc-ghc-compact-prof
- ghc-gitrev-prof
- ghc-hashable-prof
- ghc-haskeline-prof
- ghc-monad-control-prof
- ghc-mtl-prof
- ghc-murmur-hash-prof
- ghc-parallel-prof
- ghc-peano-prof
- ghc-pretty-prof
- ghc-process-prof
- ghc-regex-tdfa-prof
- ghc-split-prof
- ghc-stm-prof
- ghc-strict-prof
- ghc-text-prof
- ghc-time-compat-prof
- ghc-time-prof
- ghc-transformers-prof
- ghc-unordered-containers-prof
- ghc-uri-encode-prof
- ghc-vector-hashtables-prof
- ghc-vector-prof
- ghc-zlib-prof
Provides
- ghc-Agda-prof
- ghc-Agda-prof(x86-64)
- ghc-prof(Agda-2.6.4.1-E2sYaCuIzVVKhQF6d7zbQ2)
Files
- usr/
- lib64/
- ghc-9.4.5/
- lib/
- Agda-2.6.4.1/
- Agda/
- Auto/
- Auto.p_hi
- CaseSplit.p_hi
- Convert.p_hi
- NarrowingSearch.p_hi
- Options.p_hi
- SearchControl.p_hi
- Syntax.p_hi
- Typecheck.p_hi
- Benchmarking.p_hi
- Compiler/
- Backend.p_hi
- Builtin.p_hi
- CallCompiler.p_hi
- Common.p_hi
- JS/
- Compiler.p_hi
- Pretty.p_hi
- Substitution.p_hi
- Syntax.p_hi
- MAlonzo/
- Coerce.p_hi
- Compiler.p_hi
- Encode.p_hi
- HaskellTypes.p_hi
- Misc.p_hi
- Pragmas.p_hi
- Pretty.p_hi
- Primitives.p_hi
- Strict.p_hi
- ToTreeless.p_hi
- Treeless/
- AsPatterns.p_hi
- Builtin.p_hi
- Compare.p_hi
- EliminateDefaults.p_hi
- EliminateLiteralPatterns.p_hi
- Erase.p_hi
- GuardsToPrims.p_hi
- Identity.p_hi
- NormalizeNames.p_hi
- Pretty.p_hi
- Simplify.p_hi
- Subst.p_hi
- Uncase.p_hi
- Unused.p_hi
- ImpossibleTest.p_hi
- Interaction/
- AgdaTop.p_hi
- Base.p_hi
- BasicOps.p_hi
- CommandLine.p_hi
- EmacsCommand.p_hi
- EmacsTop.p_hi
- ExitCode.p_hi
- FindFile.p_hi
- Highlighting/
- Common.p_hi
- Dot/
- Backend.p_hi
- Base.p_hi
- Dot.p_hi
- Emacs.p_hi
- FromAbstract.p_hi
- Generate.p_hi
- HTML/
- Backend.p_hi
- Base.p_hi
- HTML.p_hi
- JSON.p_hi
- LaTeX/
- Backend.p_hi
- Base.p_hi
- LaTeX.p_hi
- Precise.p_hi
- Range.p_hi
- Vim.p_hi
- Imports.p_hi
- InteractionTop.p_hi
- JSON.p_hi
- JSONTop.p_hi
- Library/
- Base.p_hi
- Parse.p_hi
- Library.p_hi
- MakeCase.p_hi
- Monad.p_hi
- Options/
- Base.p_hi
- HasOptions.p_hi
- Help.p_hi
- Lenses.p_hi
- Warnings.p_hi
- Options.p_hi
- Response.p_hi
- SearchAbout.p_hi
- Main.p_hi
- Syntax/
- Abstract/
- Name.p_hi
- Pattern.p_hi
- PatternSynonyms.p_hi
- Pretty.p_hi
- UsedNames.p_hi
- Views.p_hi
- Abstract.p_hi
- Builtin.p_hi
- Common/
- Aspect.p_hi
- Pretty/
- ANSI.p_hi
- Pretty.p_hi
- Common.p_hi
- Concrete/
- Attribute.p_hi
- Definitions/
- Errors.p_hi
- Monad.p_hi
- Types.p_hi
- Definitions.p_hi
- Fixity.p_hi
- Generic.p_hi
- Glyph.p_hi
- Name.p_hi
- Operators/
- Parser/
- Monad.p_hi
- Parser.p_hi
- Parser/
- Operators.p_hi
- Pattern.p_hi
- Pretty.p_hi
- Concrete.p_hi
- DoNotation.p_hi
- Fixity.p_hi
- IdiomBrackets.p_hi
- Info.p_hi
- Internal/
- Blockers.p_hi
- Defs.p_hi
- Elim.p_hi
- Generic.p_hi
- MetaVars.p_hi
- Names.p_hi
- Pattern.p_hi
- SanityCheck.p_hi
- Univ.p_hi
- Internal.p_hi
- Literal.p_hi
- Notation.p_hi
- Parser/
- Alex.p_hi
- Comments.p_hi
- Layout.p_hi
- LexActions.p_hi
- Lexer.p_hi
- Literate.p_hi
- LookAhead.p_hi
- Monad.p_hi
- Parser.p_hi
- StringLiterals.p_hi
- Tokens.p_hi
- Parser.p_hi
- Position.p_hi
- Reflected.p_hi
- Scope/
- Base.p_hi
- Flat.p_hi
- Monad.p_hi
- TopLevelModuleName/
- Boot.p_hi
- TopLevelModuleName.p_hi
- Translation/
- AbstractToConcrete.p_hi
- ConcreteToAbstract.p_hi
- InternalToAbstract.p_hi
- ReflectedToAbstract.p_hi
- Treeless.p_hi
- Abstract/
- Termination/
- CallGraph.p_hi
- CallMatrix.p_hi
- CutOff.p_hi
- Monad.p_hi
- Order.p_hi
- RecCheck.p_hi
- Semiring.p_hi
- SparseMatrix.p_hi
- TermCheck.p_hi
- Termination.p_hi
- TheTypeChecker.p_hi
- TypeChecking/
- Abstract.p_hi
- CheckInternal.p_hi
- CompiledClause/
- Compile.p_hi
- Match.p_hi
- CompiledClause.p_hi
- Constraints.p_hi
- Conversion/
- Pure.p_hi
- Conversion.p_hi
- Coverage/
- Cubical.p_hi
- Match.p_hi
- SplitClause.p_hi
- SplitTree.p_hi
- Coverage.p_hi
- Datatypes.p_hi
- DeadCode.p_hi
- DisplayForm.p_hi
- DropArgs.p_hi
- Empty.p_hi
- Errors.p_hi
- EtaContract.p_hi
- Forcing.p_hi
- Free/
- Lazy.p_hi
- Precompute.p_hi
- Reduce.p_hi
- Free.p_hi
- Functions.p_hi
- Generalize.p_hi
- IApplyConfluence.p_hi
- Implicit.p_hi
- Injectivity.p_hi
- Inlining.p_hi
- InstanceArguments.p_hi
- Irrelevance.p_hi
- Level/
- Solve.p_hi
- Level.p_hi
- LevelConstraints.p_hi
- Lock.p_hi
- MetaVars/
- Mention.p_hi
- Occurs.p_hi
- MetaVars.p_hi
- Modalities.p_hi
- Monad/
- Base/
- Warning.p_hi
- Base.p_hi
- Benchmark.p_hi
- Builtin.p_hi
- Caching.p_hi
- Closure.p_hi
- Constraints.p_hi
- Context.p_hi
- Debug.p_hi
- Env.p_hi
- Imports.p_hi
- MetaVars.p_hi
- Modality.p_hi
- Mutual.p_hi
- Open.p_hi
- Options.p_hi
- Pure.p_hi
- Signature.p_hi
- SizedTypes.p_hi
- State.p_hi
- Statistics.p_hi
- Trace.p_hi
- Base/
- Monad.p_hi
- Names.p_hi
- Opacity.p_hi
- Patterns/
- Abstract.p_hi
- Internal.p_hi
- Match.p_hi
- Polarity.p_hi
- Positivity/
- Occurrence.p_hi
- Positivity.p_hi
- Pretty/
- Call.p_hi
- Constraint.p_hi
- Warning.p_hi
- Pretty.p_hi
- Primitive/
- Base.p_hi
- Cubical/
- Base.p_hi
- Glue.p_hi
- HCompU.p_hi
- Id.p_hi
- Cubical.p_hi
- Primitive.p_hi
- ProjectionLike.p_hi
- Quote.p_hi
- ReconstructParameters.p_hi
- RecordPatterns.p_hi
- Records.p_hi
- Reduce/
- Fast.p_hi
- Monad.p_hi
- Reduce.p_hi
- Rewriting/
- Clause.p_hi
- Confluence.p_hi
- NonLinMatch.p_hi
- NonLinPattern.p_hi
- Rewriting.p_hi
- Rules/
- Application.p_hi
- Builtin/
- Coinduction.p_hi
- Builtin.p_hi
- Data.p_hi
- Decl.p_hi
- Def.p_hi
- Display.p_hi
- LHS/
- Implicit.p_hi
- Problem.p_hi
- ProblemRest.p_hi
- Unify/
- LeftInverse.p_hi
- Types.p_hi
- Unify.p_hi
- LHS.p_hi
- Record.p_hi
- Term.p_hi
- Serialise/
- Base.p_hi
- Instances/
- Abstract.p_hi
- Common.p_hi
- Compilers.p_hi
- Errors.p_hi
- Highlighting.p_hi
- Internal.p_hi
- Instances.p_hi
- Serialise.p_hi
- SizedTypes/
- Solve.p_hi
- Syntax.p_hi
- Utils.p_hi
- WarshallSolver.p_hi
- SizedTypes.p_hi
- Sort.p_hi
- Substitute/
- Class.p_hi
- DeBruijn.p_hi
- Substitute.p_hi
- SyntacticEquality.p_hi
- Telescope/
- Path.p_hi
- Telescope.p_hi
- Unquote.p_hi
- Warnings.p_hi
- With.p_hi
- Utils/
- AffineHole.p_hi
- Applicative.p_hi
- AssocList.p_hi
- Bag.p_hi
- Benchmark.p_hi
- BiMap.p_hi
- BoolSet.p_hi
- Boolean.p_hi
- CallStack/
- Base.p_hi
- Pretty.p_hi
- CallStack.p_hi
- Char.p_hi
- Cluster.p_hi
- Either.p_hi
- Empty.p_hi
- Environment.p_hi
- Fail.p_hi
- Favorites.p_hi
- FileName.p_hi
- Float.p_hi
- Function.p_hi
- Functor.p_hi
- Graph/
- AdjacencyMap/
- Unidirectional.p_hi
- TopSort.p_hi
- AdjacencyMap/
- Hash.p_hi
- HashTable.p_hi
- Haskell/
- Syntax.p_hi
- IO/
- Binary.p_hi
- Directory.p_hi
- TempFile.p_hi
- UTF8.p_hi
- IO.p_hi
- IORef.p_hi
- Impossible.p_hi
- IndexedList.p_hi
- IntSet/
- Infinite.p_hi
- Lens/
- Examples.p_hi
- Lens.p_hi
- List.p_hi
- List1.p_hi
- List2.p_hi
- ListT.p_hi
- Map.p_hi
- Maybe/
- Strict.p_hi
- Maybe.p_hi
- Memo.p_hi
- Monad.p_hi
- Monoid.p_hi
- Null.p_hi
- POMonoid.p_hi
- Parser/
- MemoisedCPS.p_hi
- PartialOrd.p_hi
- Permutation.p_hi
- Pointer.p_hi
- ProfileOptions.p_hi
- RangeMap.p_hi
- SemiRing.p_hi
- Semigroup.p_hi
- Singleton.p_hi
- Size.p_hi
- SmallSet.p_hi
- String.p_hi
- Suffix.p_hi
- Three.p_hi
- Time.p_hi
- Trie.p_hi
- Tuple.p_hi
- TypeLevel.p_hi
- TypeLits.p_hi
- Unsafe.p_hi
- Update.p_hi
- VarSet.p_hi
- Warshall.p_hi
- WithDefault.p_hi
- Zipper.p_hi
- Version.p_hi
- VersionCommit.p_hi
- Auto/
- Paths_Agda.p_hi
- libHSAgda-2.6.4.1-E2sYaCuIzVVKhQF6d7zbQ2_p.a
- Agda/
- Agda-2.6.4.1/
- lib/
- ghc-9.4.5/
- lib64/
Sources on Pagure