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
Commit message (
Expand
)
Author
Age
Files
Lines
*
dev-ml/camlp5: bump to 7.14
Sam James
2020-12-29
2
-0
/
+60
*
dev-ml/camlp4: restore 4.05_p1
Sam James
2020-12-28
2
-0
/
+42
*
*/*: Update copyright line for files touched in 2019 and 2020.
Ulrich Müller
2020-12-23
1
-1
/
+1
*
dev-ml/findlib: lower the minimum OCaml version
Sam James
2020-12-20
1
-5
/
+2
*
dev-ml/llvm-ocaml: Bump to 11.0.1-rc2
Michał Górny
2020-12-19
2
-0
/
+125
*
dev-ml/cairo-ocaml: drop old
Aaron Bauman
2020-12-17
1
-81
/
+0
*
dev-ml/extlib: drop old
Aaron Bauman
2020-12-17
3
-103
/
+0
*
dev-ml/findlib: drop old
Aaron Bauman
2020-12-17
1
-73
/
+0
*
dev-ml/findlib: Stabilize 1.8.1-r1 amd64, #757447
Sam James
2020-12-17
1
-1
/
+1
*
dev-ml/dune: Stabilize 2.7.1 amd64, #757444
Sam James
2020-12-17
1
-1
/
+1
*
dev-ml/cppo: Stabilize 1.6.6 amd64, #757444
Sam James
2020-12-17
1
-1
/
+1
*
dev-ml/extlib: Stabilize 1.7.7 amd64, #757444
Sam James
2020-12-17
1
-1
/
+1
*
dev-ml/cairo-ocaml: Stabilize 1.2.0-r1 amd64, #757438
Sam James
2020-12-17
1
-1
/
+1
*
dev-ml/findlib: Stabilize 1.8.1-r1 ppc, #757447
Sam James
2020-12-17
1
-1
/
+1
*
dev-ml/extlib: stable 1.7.7 for ppc
Sergei Trofimovich
2020-12-13
1
-1
/
+1
*
dev-ml/cppo: stable 1.6.6 for ppc
Sergei Trofimovich
2020-12-13
1
-1
/
+1
*
dev-ml/dune: stable 2.7.1 for ppc
Sergei Trofimovich
2020-12-13
1
-1
/
+1
*
dev-ml/dune: x86 stable (bug #757444)
Thomas Deutschmann
2020-12-03
1
-1
/
+1
*
dev-ml/cppo: x86 stable (bug #757444)
Thomas Deutschmann
2020-12-03
1
-1
/
+1
*
dev-ml/extlib: x86 stable (bug #757444)
Thomas Deutschmann
2020-12-03
1
-1
/
+1
*
dev-ml/cairo-ocaml: x86 stable (bug #757438)
Thomas Deutschmann
2020-12-03
1
-1
/
+1
*
dev-ml/findlib: x86 stable (bug #757447)
Thomas Deutschmann
2020-12-03
1
-1
/
+1
*
dev-ml/findlib: Stabilize 1.8.1-r1 arm, #757447
Sam James
2020-12-02
1
-1
/
+1
*
dev-ml/lwt: drop UnusedLocalUse
Aaron Bauman
2020-12-02
1
-5
/
+0
*
dev-ml/qcheck: drop old
Aaron Bauman
2020-12-02
2
-24
/
+0
*
dev-ml/ppx_tools: drop old
Aaron Bauman
2020-12-02
4
-94
/
+0
*
dev-ml/ocamlmod: drop old
Aaron Bauman
2020-12-02
2
-24
/
+0
*
dev-ml/ocaml-sqlite3: drop old
Aaron Bauman
2020-12-02
4
-95
/
+0
*
dev-ml/ocaml-hashcons: drop old
Aaron Bauman
2020-12-02
2
-38
/
+0
*
dev-ml/ocaml-fileutils: drop old
Aaron Bauman
2020-12-02
3
-56
/
+0
*
dev-ml/ocaml-expat: drop old
Aaron Bauman
2020-12-02
3
-95
/
+0
*
dev-ml/ocaml-dispatch: drop old
Aaron Bauman
2020-12-02
2
-35
/
+0
*
dev-ml/ocaml-ctypes: drop old
Aaron Bauman
2020-12-02
4
-113
/
+0
*
dev-ml/oasis: drop old
Aaron Bauman
2020-12-02
2
-39
/
+0
*
dev-ml/lwt_ssl: drop old
Aaron Bauman
2020-12-02
2
-28
/
+0
*
dev-ml/lwt: drop old
Aaron Bauman
2020-12-02
3
-100
/
+0
*
dev-ml/iTeML: drop old
Aaron Bauman
2020-12-02
3
-62
/
+0
*
dev-ml/extlib: drop old
Aaron Bauman
2020-12-02
2
-48
/
+0
*
dev-ml/easy-format: drop old
Aaron Bauman
2020-12-02
2
-34
/
+0
*
dev-ml/findlib: Stabilize 1.8.1-r1 arm64, #757447
Sam James
2020-12-02
1
-1
/
+1
*
dev-ml/csv: drop old
Aaron Bauman
2020-12-01
3
-53
/
+0
*
dev-ml/biniou: drop old
Aaron Bauman
2020-12-01
4
-97
/
+0
*
dev-ml/findlib: stable 1.8.1-r1 for ppc64
Sergei Trofimovich
2020-11-29
1
-1
/
+1
*
dev-ml/llvm-ocaml: Bump to 11.0.1-rc1
Michał Górny
2020-11-29
2
-0
/
+125
*
dev-ml/llvm-ocaml: 11.0.0.9999 → 11.0.1.9999
Michał Górny
2020-11-29
1
-0
/
+0
*
dev-ml/llvm-ocaml: Fix old versions too
Michał Górny
2020-11-29
3
-3
/
+3
*
dev-ml/llvm-ocaml: Fix missing conditions around deps
Michał Górny
2020-11-29
2
-2
/
+2
*
dev-ml/llvm-ocaml: Resolve pkgcheck problems
Michał Górny
2020-11-29
5
-10
/
+35
*
dev-ml/llvm-ocaml: Delay llvm.org_set_globals after vars
Michał Górny
2020-11-29
2
-4
/
+6
*
dev-ml/llvm-ocaml: Remove 10.0.0
Michał Górny
2020-11-29
2
-126
/
+0
[next]