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-ml
/
dune-build-info
Commit message (
Expand
)
Author
Age
Files
Lines
*
dev-ml/dune-build-info: add 3.8.0
Alfredo Tupone
2023-05-23
2
-0
/
+29
*
dev-ml/dune-build-info: stabilize 3.7.1 for amd64
Alfredo Tupone
2023-05-20
1
-1
/
+1
*
dev-ml/dune-build-info: add 3.7.1
Alfredo Tupone
2023-04-16
2
-0
/
+29
*
dev-ml/dune-build-info: Stabilize 3.6.1 amd64, #901677
Sam James
2023-03-17
1
-1
/
+1
*
dev-ml/dune-build-info: Stabilize 3.6.1 x86, #901677
Sam James
2023-03-17
1
-2
/
+2
*
dev-ml/dune-build-info: Stabilize 2.9.3 ppc64, #896102
Arthur Zamarin
2023-03-15
1
-1
/
+1
*
dev-ml/dune-build-info: add 3.7.0
Alfredo Tupone
2023-03-01
2
-0
/
+29
*
dev-ml/dune-build-info: Stabilize 2.9.3 x86, #896102
Arthur Zamarin
2023-02-24
1
-1
/
+1
*
dev-ml/dune-build-info: Stabilize 2.9.3 amd64, #896102
Sam James
2023-02-23
1
-2
/
+2
*
dev-ml/dune-build-info: add 3.6.1
Alfredo Tupone
2022-12-16
2
-0
/
+29
*
dev-ml/dune-build-info: add 3.2.0
Alfredo Tupone
2022-11-22
2
-0
/
+29
*
dev-ml/dune-build-info: 2.9.3 bump
Alfredo Tupone
2022-01-29
2
-0
/
+26
*
dev-ml/dune-build-info: new package; add version 2.9.1
Maciej Barć
2021-12-11
3
-0
/
+39