Toggle navigation
Patchwork
Guix Patches
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Series =
Update Agda and libraries to 2.6.4
| State =
Action Required
| 6 patches
Series
Submitter
State
any
Action Required
New
Under Review
Accepted
Rejected
RFC
Not Applicable
Changes Requested
Awaiting Upstream
Superseded
Deferred
Work in progress
Search
Archived
No
Yes
Both
Delegate
------
Nobody
cbaines
levenson
dftxbs3e
futurile
Apply
Patch
Series
A/R/T
S/W/F
Date
Submitter
Delegate
State
[bug#66775,6/6] gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280.
Update Agda and libraries to 2.6.4
- - -
-
-
-
2023-10-27
Josselin Poiret
New
[bug#66775,5/6] gnu: agda-cubical: Update to 0.6.
Update Agda and libraries to 2.6.4
- - -
-
-
-
2023-10-27
Josselin Poiret
New
[bug#66775,4/6] gnu: agda-categories: Adapt to agda-stdlib 1.7.3.
Update Agda and libraries to 2.6.4
- - -
-
-
-
2023-10-27
Josselin Poiret
New
[bug#66775,3/6] gnu: agda-stdlib: Update to 1.7.3.
Update Agda and libraries to 2.6.4
- - -
-
-
-
2023-10-27
Josselin Poiret
New
[bug#66775,2/6] gnu: agda: Update to 2.6.4.
Update Agda and libraries to 2.6.4
- - -
-
-
-
2023-10-27
Josselin Poiret
New
[bug#66775,1/6] gnu: Add ghc-text-icu.
Update Agda and libraries to 2.6.4
- - -
-
-
-
2023-10-27
Josselin Poiret
New