Package: mcrl2 / 201202.0-2
Metadata
| Package | Version | Patches format |
|---|---|---|
| mcrl2 | 201202.0-2 | 3.0 (quilt) |
Patch series
view the series file| Patch | File delta | Description |
|---|---|---|
| dparser_header_fixes.patch | (download) |
CMakeLists.txt |
2 1 + 1 - 0 ! |
--- |
1