Linux workstation

Upstream software project

Agda

Haskell fmlist library development files

About Agda

Haskell fmlist library development files

This project links 4 native package records across 3 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: 1 package records; Fedora 44: 1 package records; openSUSE Leap 15.6: 2 package records. Catalog coverage diagram, not an application screenshot.Agda: recorded package coverageFedora 431 recordsFedora 441 recordsopenSUSE Leap 15.62 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
Agda
Publisher
Not authoritatively mapped
Native package records
4
Operating systems
fedora-43, fedora-44, opensuse-leap-15-6
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.

FoldMap lists are lists represented by their foldMap function. FoldMap lists have O(1) cons, snoc and append, just like DLists, but other operations might have favorable performance characteristics as well. These wild claims are still completely unverified though.

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. ghc-fmlist

    Fedora 43 / Unspecified / source Agda

    0.9.4-56.fc43

    Haskell fmlist library

    aarch64x86_6443

Fedora 44

  1. ghc-fmlist

    Fedora 44 / Unspecified / source Agda

    0.9.4-59.fc44

    Haskell fmlist library

    aarch64x86_6444

openSUSE Leap 15.6

  1. ghc-fmlist

    openSUSE Leap 15.6 / Unspecified / source ghc-fmlist

    0.9.4-bp156.3.3

    FoldMap lists

    aarch64ppc64les390xx86_64leap-15.6
  2. ghc-fmlist-devel

    openSUSE Leap 15.6 / Unspecified / source ghc-fmlist

    0.9.4-bp156.3.3

    Haskell fmlist library development files

    aarch64ppc64les390xx86_64leap-15.6

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.

Agda Software and Packages | OpenFactory