Toggle navigation
Patchwork
Guix Patches
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Series =
[bug#38635,v3] Add why3 and frama-c
| Archived =
No
| 1 patch
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#38635,v3] Add why3 and frama-c
[bug#38635,v3] Add why3 and frama-c
- - -
1
-
1
2021-04-29
Julien Lepiller
Accepted