GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/sync/gentoo.git
master
stable
Sync-friendly git mirror of repo/gentoo with caches and metadata
Michał Górny <mgorny@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev-java
/
antlr-runtime
Commit message (
Expand
)
Author
Age
Files
Lines
*
dev-java/antlr-runtime: removed obsolete 3.5.2
Miroslav Šulc
2022-05-13
2
-39
/
+0
*
dev-java/antlr-runtime: Stabilize 3.5.3 x86, #843767
Jakov Smolić
2022-05-13
1
-1
/
+1
*
dev-java/antlr-runtime: Stabilize 3.5.3 ppc64, #843767
Jakov Smolić
2022-05-12
1
-1
/
+1
*
dev-java/antlr-runtime: Stabilize 3.5.3 arm64, #843767
Jakov Smolić
2022-05-12
1
-1
/
+1
*
dev-java/antlr-runtime: amd64 stable wrt bug #843767
Agostino Sarubbo
2022-05-11
1
-1
/
+1
*
dev-java/antlr-runtime: Add 3.5.3
Yuan Liao
2022-04-11
2
-0
/
+39
*
dev-java/antlr-runtime: Enable tests for 4.9.3
Yuan Liao
2022-04-05
2
-6
/
+125
*
dev-java/antlr-runtime: Stabilize 4.9.3 ppc64, #834702
Sam James
2022-03-17
1
-1
/
+1
*
dev-java/antlr-runtime: Stabilize 3.5.2 ppc64, #833953
Sam James
2022-03-17
1
-1
/
+1
*
dev-java/antlr-runtime: Stabilize 4.9.3 arm64, #834702
Sam James
2022-03-17
1
-1
/
+1
*
dev-java/antlr-runtime: x86 stable wrt bug #834702
Agostino Sarubbo
2022-03-09
1
-1
/
+1
*
dev-java/antlr-runtime: amd64 stable wrt bug #834702
Agostino Sarubbo
2022-03-08
1
-1
/
+1
*
dev-java/antlr-runtime: Stabilize 3.5.2 arm64, #833953
Sam James
2022-02-25
1
-1
/
+1
*
dev-java/antlr-runtime: Stabilize 3.5.2 x86, #833953
Jakov Smolić
2022-02-24
1
-1
/
+1
*
dev-java/antlr-runtime: Stabilize 3.5.2 amd64, #833953
Jakov Smolić
2022-02-24
1
-1
/
+1
*
dev-java/antlr-runtime: Add 4.9.3
Yuan Liao
2022-02-04
2
-0
/
+38
*
**/metadata.xml: Replace http by https in DOCTYPE element
Ulrich Müller
2022-01-25
1
-1
/
+1
*
dev-java/antlr-runtime: new package
Volkmar W. Pogatzki
2022-01-25
3
-0
/
+49