Linux workstation

Upstream software project

Agda

Haskell nonempty-vector profiling library

About Agda

Haskell nonempty-vector profiling library

This project links 84 native package records across 2 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.

These are catalog observations, not a guarantee of installation, compatibility, or upstream support.

Visit project website

Project pictures and package coverage

Fedora 43: 42 package records; Fedora 44: 42 package records. Catalog coverage diagram, not an application screenshot.Agda: recorded package coverageFedora 4342 recordsFedora 4442 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
Agda
Publisher
Not authoritatively mapped
Native package records
84
Operating systems
fedora-43, fedora-44
License expression
BSD-3-Clause
Metadata completeness
100/100 (not a software quality rating)
Homepage
Visit upstream site
Source repository
Not reported

Source-reported description

The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.

Agda is a dependently typed functional programming language: It has inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterized modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Rocq (formerly known as Coq), Idris, Lean and NuPRL. This package includes both a command-line program (agda) and an Emacs mode.

Description source

Packages by operating system

Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.

Fedora 43

  1. Agda

    Fedora 43 / Unspecified / source Agda

    2.8.0-56.fc43

    A dependently typed functional programming language and proof assistant

    aarch64x86_6443
  2. Agda-common

    Fedora 43 / Unspecified / source Agda

    2.8.0-56.fc43

    Agda common files

    noarch43
  3. ghc-Agda

    Fedora 43 / Unspecified / source Agda

    2.8.0-56.fc43

    Haskell Agda library

    aarch64x86_6443
  4. ghc-Agda-devel

    Fedora 43 / Unspecified / source Agda

    2.8.0-56.fc43

    Haskell Agda library development files

    aarch64x86_6443
  5. ghc-Agda-doc

    Fedora 43 / Unspecified / source Agda

    2.8.0-56.fc43

    Haskell Agda library documentation

    noarch43
  6. ghc-Agda-prof

    Fedora 43 / Unspecified / source Agda

    2.8.0-56.fc43

    Haskell Agda profiling library

    aarch64x86_6443
  7. ghc-ap-normalize-devel

    Fedora 43 / Unspecified / source Agda

    0.1.0.1-56.fc43

    Haskell ap-normalize library development files

    aarch64x86_6443
  8. ghc-ap-normalize-doc

    Fedora 43 / Unspecified / source Agda

    0.1.0.1-56.fc43

    Haskell ap-normalize library documentation

    noarch43
  9. ghc-ap-normalize-prof

    Fedora 43 / Unspecified / source Agda

    0.1.0.1-56.fc43

    Haskell ap-normalize profiling library

    aarch64x86_6443
  10. ghc-fmlist-devel

    Fedora 43 / Unspecified / source Agda

    0.9.4-56.fc43

    Haskell fmlist library development files

    aarch64x86_6443
  11. ghc-fmlist-doc

    Fedora 43 / Unspecified / source Agda

    0.9.4-56.fc43

    Haskell fmlist library documentation

    noarch43
  12. ghc-fmlist-prof

    Fedora 43 / Unspecified / source Agda

    0.9.4-56.fc43

    Haskell fmlist profiling library

    aarch64x86_6443
  13. ghc-generic-data-devel

    Fedora 43 / Unspecified / source Agda

    1.1.0.2-56.fc43

    Haskell generic-data library development files

    aarch64x86_6443
  14. ghc-generic-data-doc

    Fedora 43 / Unspecified / source Agda

    1.1.0.2-56.fc43

    Haskell generic-data library documentation

    noarch43
  15. ghc-generic-data-prof

    Fedora 43 / Unspecified / source Agda

    1.1.0.2-56.fc43

    Haskell generic-data profiling library

    aarch64x86_6443
  16. ghc-ListLike-devel

    Fedora 43 / Unspecified / source Agda

    4.7.8.3-56.fc43

    Haskell ListLike library development files

    aarch64x86_6443
  17. ghc-ListLike-doc

    Fedora 43 / Unspecified / source Agda

    4.7.8.3-56.fc43

    Haskell ListLike library documentation

    noarch43
  18. ghc-ListLike-prof

    Fedora 43 / Unspecified / source Agda

    4.7.8.3-56.fc43

    Haskell ListLike profiling library

    aarch64x86_6443
  19. ghc-murmur-hash-devel

    Fedora 43 / Unspecified / source Agda

    0.1.0.11-56.fc43

    Haskell murmur-hash library development files

    aarch64x86_6443
  20. ghc-murmur-hash-doc

    Fedora 43 / Unspecified / source Agda

    0.1.0.11-56.fc43

    Haskell murmur-hash library documentation

    noarch43
  21. ghc-murmur-hash-prof

    Fedora 43 / Unspecified / source Agda

    0.1.0.11-56.fc43

    Haskell murmur-hash profiling library

    aarch64x86_6443
  22. ghc-nonempty-containers-devel

    Fedora 43 / Unspecified / source Agda

    0.3.5.0-56.fc43

    Haskell nonempty-containers library development files

    aarch64x86_6443
  23. ghc-nonempty-containers-doc

    Fedora 43 / Unspecified / source Agda

    0.3.5.0-56.fc43

    Haskell nonempty-containers library documentation

    noarch43
  24. ghc-nonempty-containers-prof

    Fedora 43 / Unspecified / source Agda

    0.3.5.0-56.fc43

    Haskell nonempty-containers profiling library

    aarch64x86_6443
  25. ghc-nonempty-vector-devel

    Fedora 43 / Unspecified / source Agda

    0.2.4-56.fc43

    Haskell nonempty-vector library development files

    aarch64x86_6443
  26. ghc-nonempty-vector-doc

    Fedora 43 / Unspecified / source Agda

    0.2.4-56.fc43

    Haskell nonempty-vector library documentation

    noarch43
  27. ghc-nonempty-vector-prof

    Fedora 43 / Unspecified / source Agda

    0.2.4-56.fc43

    Haskell nonempty-vector profiling library

    aarch64x86_6443
  28. ghc-peano-devel

    Fedora 43 / Unspecified / source Agda

    0.1.0.2-56.fc43

    Haskell peano library development files

    aarch64x86_6443
  29. ghc-peano-doc

    Fedora 43 / Unspecified / source Agda

    0.1.0.2-56.fc43

    Haskell peano library documentation

    noarch43
  30. ghc-peano-prof

    Fedora 43 / Unspecified / source Agda

    0.1.0.2-56.fc43

    Haskell peano profiling library

    aarch64x86_6443
  31. ghc-pqueue-devel

    Fedora 43 / Unspecified / source Agda

    1.5.0.0-56.fc43

    Haskell pqueue library development files

    aarch64x86_6443
  32. ghc-pqueue-doc

    Fedora 43 / Unspecified / source Agda

    1.5.0.0-56.fc43

    Haskell pqueue library documentation

    noarch43
  33. ghc-pqueue-prof

    Fedora 43 / Unspecified / source Agda

    1.5.0.0-56.fc43

    Haskell pqueue profiling library

    aarch64x86_6443
  34. ghc-process-extras-devel

    Fedora 43 / Unspecified / source Agda

    0.7.4-56.fc43

    Haskell process-extras library development files

    aarch64x86_6443
  35. ghc-process-extras-doc

    Fedora 43 / Unspecified / source Agda

    0.7.4-56.fc43

    Haskell process-extras library documentation

    noarch43
  36. ghc-process-extras-prof

    Fedora 43 / Unspecified / source Agda

    0.7.4-56.fc43

    Haskell process-extras profiling library

    aarch64x86_6443
  37. ghc-show-combinators-devel

    Fedora 43 / Unspecified / source Agda

    0.2.0.0-56.fc43

    Haskell show-combinators library development files

    aarch64x86_6443
  38. ghc-show-combinators-doc

    Fedora 43 / Unspecified / source Agda

    0.2.0.0-56.fc43

    Haskell show-combinators library documentation

    noarch43
  39. ghc-show-combinators-prof

    Fedora 43 / Unspecified / source Agda

    0.2.0.0-56.fc43

    Haskell show-combinators profiling library

    aarch64x86_6443
  40. ghc-vector-hashtables-devel

    Fedora 43 / Unspecified / source Agda

    0.1.2.1-56.fc43

    Haskell vector-hashtables library development files

    aarch64x86_6443
  41. ghc-vector-hashtables-doc

    Fedora 43 / Unspecified / source Agda

    0.1.2.1-56.fc43

    Haskell vector-hashtables library documentation

    noarch43
  42. ghc-vector-hashtables-prof

    Fedora 43 / Unspecified / source Agda

    0.1.2.1-56.fc43

    Haskell vector-hashtables profiling library

    aarch64x86_6443

Fedora 44

  1. Agda

    Fedora 44 / Unspecified / source Agda

    2.8.0-59.fc44

    A dependently typed functional programming language and proof assistant

    aarch64x86_6444
  2. Agda-common

    Fedora 44 / Unspecified / source Agda

    2.8.0-59.fc44

    Agda common files

    noarch44
  3. ghc-Agda

    Fedora 44 / Unspecified / source Agda

    2.8.0-59.fc44

    Haskell Agda library

    aarch64x86_6444
  4. ghc-Agda-devel

    Fedora 44 / Unspecified / source Agda

    2.8.0-59.fc44

    Haskell Agda library development files

    aarch64x86_6444
  5. ghc-Agda-doc

    Fedora 44 / Unspecified / source Agda

    2.8.0-59.fc44

    Haskell Agda library documentation

    noarch44
  6. ghc-Agda-prof

    Fedora 44 / Unspecified / source Agda

    2.8.0-59.fc44

    Haskell Agda profiling library

    aarch64x86_6444
  7. ghc-ap-normalize-devel

    Fedora 44 / Unspecified / source Agda

    0.1.0.1-59.fc44

    Haskell ap-normalize library development files

    aarch64x86_6444
  8. ghc-ap-normalize-doc

    Fedora 44 / Unspecified / source Agda

    0.1.0.1-59.fc44

    Haskell ap-normalize library documentation

    noarch44
  9. ghc-ap-normalize-prof

    Fedora 44 / Unspecified / source Agda

    0.1.0.1-59.fc44

    Haskell ap-normalize profiling library

    aarch64x86_6444
  10. ghc-fmlist-devel

    Fedora 44 / Unspecified / source Agda

    0.9.4-59.fc44

    Haskell fmlist library development files

    aarch64x86_6444
  11. ghc-fmlist-doc

    Fedora 44 / Unspecified / source Agda

    0.9.4-59.fc44

    Haskell fmlist library documentation

    noarch44
  12. ghc-fmlist-prof

    Fedora 44 / Unspecified / source Agda

    0.9.4-59.fc44

    Haskell fmlist profiling library

    aarch64x86_6444
  13. ghc-generic-data-devel

    Fedora 44 / Unspecified / source Agda

    1.1.0.2-59.fc44

    Haskell generic-data library development files

    aarch64x86_6444
  14. ghc-generic-data-doc

    Fedora 44 / Unspecified / source Agda

    1.1.0.2-59.fc44

    Haskell generic-data library documentation

    noarch44
  15. ghc-generic-data-prof

    Fedora 44 / Unspecified / source Agda

    1.1.0.2-59.fc44

    Haskell generic-data profiling library

    aarch64x86_6444
  16. ghc-ListLike-devel

    Fedora 44 / Unspecified / source Agda

    4.7.8.4-59.fc44

    Haskell ListLike library development files

    aarch64x86_6444
  17. ghc-ListLike-doc

    Fedora 44 / Unspecified / source Agda

    4.7.8.4-59.fc44

    Haskell ListLike library documentation

    noarch44
  18. ghc-ListLike-prof

    Fedora 44 / Unspecified / source Agda

    4.7.8.4-59.fc44

    Haskell ListLike profiling library

    aarch64x86_6444
  19. ghc-murmur-hash-devel

    Fedora 44 / Unspecified / source Agda

    0.1.0.11-59.fc44

    Haskell murmur-hash library development files

    aarch64x86_6444
  20. ghc-murmur-hash-doc

    Fedora 44 / Unspecified / source Agda

    0.1.0.11-59.fc44

    Haskell murmur-hash library documentation

    noarch44
  21. ghc-murmur-hash-prof

    Fedora 44 / Unspecified / source Agda

    0.1.0.11-59.fc44

    Haskell murmur-hash profiling library

    aarch64x86_6444
  22. ghc-nonempty-containers-devel

    Fedora 44 / Unspecified / source Agda

    0.3.5.0-59.fc44

    Haskell nonempty-containers library development files

    aarch64x86_6444
  23. ghc-nonempty-containers-doc

    Fedora 44 / Unspecified / source Agda

    0.3.5.0-59.fc44

    Haskell nonempty-containers library documentation

    noarch44
  24. ghc-nonempty-containers-prof

    Fedora 44 / Unspecified / source Agda

    0.3.5.0-59.fc44

    Haskell nonempty-containers profiling library

    aarch64x86_6444
  25. ghc-nonempty-vector-devel

    Fedora 44 / Unspecified / source Agda

    0.2.4-59.fc44

    Haskell nonempty-vector library development files

    aarch64x86_6444
  26. ghc-nonempty-vector-doc

    Fedora 44 / Unspecified / source Agda

    0.2.4-59.fc44

    Haskell nonempty-vector library documentation

    noarch44
  27. ghc-nonempty-vector-prof

    Fedora 44 / Unspecified / source Agda

    0.2.4-59.fc44

    Haskell nonempty-vector profiling library

    aarch64x86_6444
  28. ghc-peano-devel

    Fedora 44 / Unspecified / source Agda

    0.1.1.0-59.fc44

    Haskell peano library development files

    aarch64x86_6444
  29. ghc-peano-doc

    Fedora 44 / Unspecified / source Agda

    0.1.1.0-59.fc44

    Haskell peano library documentation

    noarch44
  30. ghc-peano-prof

    Fedora 44 / Unspecified / source Agda

    0.1.1.0-59.fc44

    Haskell peano profiling library

    aarch64x86_6444
  31. ghc-pqueue-devel

    Fedora 44 / Unspecified / source Agda

    1.5.0.0-59.fc44

    Haskell pqueue library development files

    aarch64x86_6444
  32. ghc-pqueue-doc

    Fedora 44 / Unspecified / source Agda

    1.5.0.0-59.fc44

    Haskell pqueue library documentation

    noarch44
  33. ghc-pqueue-prof

    Fedora 44 / Unspecified / source Agda

    1.5.0.0-59.fc44

    Haskell pqueue profiling library

    aarch64x86_6444
  34. ghc-process-extras-devel

    Fedora 44 / Unspecified / source Agda

    0.7.4-59.fc44

    Haskell process-extras library development files

    aarch64x86_6444
  35. ghc-process-extras-doc

    Fedora 44 / Unspecified / source Agda

    0.7.4-59.fc44

    Haskell process-extras library documentation

    noarch44
  36. ghc-process-extras-prof

    Fedora 44 / Unspecified / source Agda

    0.7.4-59.fc44

    Haskell process-extras profiling library

    aarch64x86_6444
  37. ghc-show-combinators-devel

    Fedora 44 / Unspecified / source Agda

    0.2.0.0-59.fc44

    Haskell show-combinators library development files

    aarch64x86_6444
  38. ghc-show-combinators-doc

    Fedora 44 / Unspecified / source Agda

    0.2.0.0-59.fc44

    Haskell show-combinators library documentation

    noarch44
  39. ghc-show-combinators-prof

    Fedora 44 / Unspecified / source Agda

    0.2.0.0-59.fc44

    Haskell show-combinators profiling library

    aarch64x86_6444
  40. ghc-vector-hashtables-devel

    Fedora 44 / Unspecified / source Agda

    0.1.2.1-59.fc44

    Haskell vector-hashtables library development files

    aarch64x86_6444
  41. ghc-vector-hashtables-doc

    Fedora 44 / Unspecified / source Agda

    0.1.2.1-59.fc44

    Haskell vector-hashtables library documentation

    noarch44
  42. ghc-vector-hashtables-prof

    Fedora 44 / Unspecified / source Agda

    0.1.2.1-59.fc44

    Haskell vector-hashtables profiling library

    aarch64x86_6444

Project resources and further reading

Mapping provenance

Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.

No field-level source record is published yet.