gpo.zugaina.org

Search Portage & Overlays:

dev-ml/ocamlbuild

Generic build tool with built-in rules for building OCaml library and programs

Screenshots

  • ocamlbuild-0.14.2
    amd64 arm arm64 ~hppa ~ia64 ~mips ~ppc ppc64 ~riscv x86 ~amd64-linux ~x86-linux
    +ocamlopt

    View      Download      Browse     License: LGPL-2.1-with-linking-exception   
    Overlay: gentoo
  • ocamlbuild-0.14.1
    ~amd64 ~arm ~arm64 ~hppa ~ia64 ~mips ~ppc ~ppc64 ~riscv ~x86 ~amd64-linux ~x86-linux
    +ocamlopt test

    View      Download      Browse     License: LGPL-2.1-with-linking-exception   
    Overlay: gentoo
  • ocamlbuild-0.14.0-r1
    amd64 arm arm64 ~hppa ~ia64 ~mips ~ppc ppc64 ~riscv x86 ~amd64-linux ~x86-linux
    +ocamlopt test

    View      Download      Browse     License: LGPL-2.1-with-linking-exception   
    Overlay: gentoo

ChangeLog

commit d29c0731b87de44227cfd79ad5e0d392bbc425b5
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Jul 7 12:11:03 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: c6527bdafc87b064414a62c641bc437c7601c147

commit 511ee37ac28423f7e7af368193acb0f313aad9c3
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Jun 19 12:10:47 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: d0c69e8aaf6e4380599f768a1059226d7ed99c1d

commit 3125e706a7baaed16c28226342866df56afc1edf
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Apr 30 00:11:34 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: e137fbe05d07148f288e0c3233dd48294926b33d

commit 44deb4689ac5a5623db3899c78c8e546da17ea14
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Mar 9 12:10:52 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: 0aae2d3cbee23b613032b3bb31f711d56fd40e60

commit 5fd09132b758233e1f9c24704e832f96df19683b
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Mar 1 00:13:24 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: d605f51aadda4424f4d767132f6c9c99218c6f66

commit 6fbbbeee234beeae07058a6b3494366f193d5e45
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Feb 13 00:10:43 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: a2508cf9d2182761d3256b90aa4c828eb51614bc

commit 295b5a2ea83f26600fd00152eff8a6a72f04f1d7
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Jan 30 00:10:57 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: a5aa3948c35232a3430383ab627f9e46b26e87d6

commit 7aa8cac8fa297a2befbc372b50df6f8812139969
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Jan 26 12:10:56 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: 2f0fec4f0326e395aa80c474477edec245f3230a

commit c97a284fa19b39cb9dbc4c045e0cae9d1e130526
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Jan 26 00:10:46 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: 02361b6bb51198f3874517e12aa778ca3eaa2af1

commit e675f1ca7d324a0a4a3a6210a1a175c6e9bd9249
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jan 25 12:10:41 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: c6049de2af0cf55971558d1cba2c05d3a3be2383

commit 9521415c6cd3c8c24aa90e44e67ecb0bda336513
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Jan 24 12:10:46 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: 871210d9120b2847d2b8380f0452ab300e68ae76

commit e1e77faed0c6058b277402934f1a5db5746ec94e
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jan 4 14:05:02 2017 -0700

merged from funtoo-staging

merged:

funtoo-staging: 8df108d740c9055e401b513bc36cd1dc7fe36af9

commit 259b42b71acfbeaa68bdde76ba1f771666901541
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Oct 7 23:04:01 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: c4e5723fce1422ce811637dcb23f11de5754b5e5

commit 16173dd8dc31303581d18f0aabce7cf11a2aa8b5
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue May 3 12:05:15 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: fcd3467dcdb1c0f21be59513e2722ce2c402ab2e

commit 8fecbd354566b9461f37cb4d9114f29da02e477c
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Mar 8 21:24:32 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: 58927901a7d9e5ee0cd24ab77030c5ebfd8a577b

commit f8d36219efe5f5862f3067a86574bcb87dad5364
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Mar 4 02:41:55 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: 38e466b6eae4f8d0838db6dc0b60b413baa3b437