FEDORA-EPEL-2025-5d8541dc9e — newpackage update for idris2

stable

FEDORA-EPEL-2025-5d8541dc9e created by petersen 10 months ago for Fedora EPEL 9

Purely functional programming language with first class types

This update has been submitted for testing by petersen.

This update's test gating status has been changed to 'waiting'.

This update's test gating status has been changed to 'ignored'.

This update has been pushed to testing.

This update has been submitted for stable by bodhi.

This update has been pushed to stable.

Please log in to add feedback.

Metadata

Type

newpackage

Karma

Signed

Content Type

RPM

Test Gating

ignored

Autopush Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

7 days

Dates

submitted

10 months ago

in testing

10 months ago

in stable

10 months ago

approved

10 months ago

Builds

BZ#2314358 Review Request: idris2 - Purely functional programming language with first class types

idris2-0.7.0-4.el9

ignored