| Summary: | dev-lang/dafny-bin-4.2.0: stablereq | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Maciej Barć <xgqt> |
| Component: | Stabilization | Assignee: | dotnet project <dotnet> |
| Status: | RESOLVED FIXED | ||
| Severity: | enhancement | Keywords: | CC-ARCHES, STABLEREQ |
| Priority: | Normal | Flags: | nattka:
sanity-check+
|
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: |
=dev-lang/dafny-bin-4.2.0
|
Runtime testing required: | --- |
|
Description
Maciej Barć
2023-10-28 13:14:38 UTC
amd64 done all arches done |
