Linux workstation

Upstream software project

Agda

Haskell process-extras library development files

About Agda

Haskell process-extras 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
MIT
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.

Extends <http://hackage.haskell.org/package/process>. Read process input and output as ByteStrings or Text, or write your own ProcessOutput instance. Lazy process input and output. ProcessMaker class for more flexibility in the process creation API.

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-process-extras

    Fedora 43 / Unspecified / source Agda

    0.7.4-56.fc43

    Haskell process-extras library

    aarch64x86_6443

Fedora 44

  1. ghc-process-extras

    Fedora 44 / Unspecified / source Agda

    0.7.4-59.fc44

    Haskell process-extras library

    aarch64x86_6444

openSUSE Leap 15.6

  1. ghc-process-extras

    openSUSE Leap 15.6 / Unspecified / source ghc-process-extras

    0.7.4-bp156.3.4

    Process extras

    aarch64ppc64les390xx86_64leap-15.6
  2. ghc-process-extras-devel

    openSUSE Leap 15.6 / Unspecified / source ghc-process-extras

    0.7.4-bp156.3.4

    Haskell process-extras 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