Toggle navigation
Patchwork
Guix Patches
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Submitter =
Mike Gerwitz
| 12 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#47789,6/6] gnu: Add tla2tools.
Untitled series #7628
- - -
-
-
-
2021-04-16
Mike Gerwitz
Accepted
[bug#47789,5/6] gnu: Add java-jline-reader.
Untitled series #7627
- - -
-
-
-
2021-04-16
Mike Gerwitz
Accepted
[bug#47789,4/6] gnu: Add java-jline-terminal.
Untitled series #7623
- - -
-
-
-
2021-04-16
Mike Gerwitz
Accepted
[bug#47789,3/6] gnu: Add java-eclipse-lsp4j packages.
Untitled series #7624
- - -
-
-
-
2021-04-16
Mike Gerwitz
Accepted
[bug#47789,2/6] gnu: Add java-eclipse-xtext-xbase-lib.
Untitled series #7625
- - -
-
-
-
2021-04-16
Mike Gerwitz
Accepted
[bug#47789,1/6] gnu: Add java-gson-2.8.6.
[bug#47789,1/6] gnu: Add java-gson-2.8.6.
- - -
-
-
-
2021-04-16
Mike Gerwitz
Accepted
[bug#47789,6/6] gnu: Add tla2tools.
Add TLA+ Tools (tla2tools)
- - -
4
-
-
2021-04-15
Mike Gerwitz
Accepted
[bug#47789,5/6] gnu: Add java-jline-reader.
Add TLA+ Tools (tla2tools)
- - -
4
-
-
2021-04-15
Mike Gerwitz
Accepted
[bug#47789,4/6] gnu: Add java-jline-terminal.
Add TLA+ Tools (tla2tools)
- - -
4
-
-
2021-04-15
Mike Gerwitz
Accepted
[bug#47789,3/6] gnu: Add java-eclipse-lsp4j packages.
Add TLA+ Tools (tla2tools)
- - -
4
-
-
2021-04-15
Mike Gerwitz
Accepted
[bug#47789,2/6] gnu: Add java-eclipse-xtext-xbase-lib.
Add TLA+ Tools (tla2tools)
- - -
4
-
-
2021-04-15
Mike Gerwitz
Accepted
[bug#47789,1/6] gnu: Add java-gson-2.8.6.
Add TLA+ Tools (tla2tools)
- - -
4
-
-
2021-04-15
Mike Gerwitz
Accepted