.gitignore
|
Use a slightly friendlier source URL.
|
2019-05-02 20:42:11 -06:00 |
0001-java8-fix.patch
|
Revert "Orphaned for 6+ weeks"
|
2019-04-08 10:17:12 -04:00 |
0002-conversion-timeout.patch
|
Add Debian patches.
|
2019-04-27 16:42:50 -06:00 |
0003-fix-c-template.patch
|
Add Debian patches.
|
2019-04-27 16:42:50 -06:00 |
0004-eof-token.patch
|
Add Debian patches.
|
2019-04-27 16:42:50 -06:00 |
0005-reproducible-parsers.patch
|
Add Debian patches.
|
2019-04-27 16:42:50 -06:00 |
antlr3.spec
|
Rebuilt for java-17-openjdk as system jdk
|
2022-02-05 19:17:22 +01:00 |
osgi-manifest.patch
|
Revert "Orphaned for 6+ weeks"
|
2019-04-08 10:17:12 -04:00 |
sources
|
Use a slightly friendlier source URL.
|
2019-05-02 20:42:11 -06:00 |