summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
...
* dev-ml/batteries: fix build with ocaml 4.03Alexis Ballier2016-05-034-0/+1132
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/pxp: bump ocamldep to 4, bug #581026Alexis Ballier2016-04-301-1/+1
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/camlp5: propagate ~alpha to newest versionsAlexis Ballier2016-04-302-2/+2
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/camlp5: bump to 6.16Alexis Ballier2016-04-302-0/+68
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/utop: bump to 1.19.2Alexis Ballier2016-04-302-0/+60
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/opam: apply debian patch, backported from upstream, to check ↵Alexis Ballier2016-04-302-1/+28
| | | | | | | certicates when downloading. Bug #580586 Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/cudf: add := dep on cppo.Alexis Ballier2016-04-301-0/+1
| | | | | | | | The dep is not a real one, it is there only by transitivity from extlib but if cudf is not rebuilt after a cppo update this causes issues like bug #580952. Sadly, we dont have transitive := deps so we have to duplicate the dep here in cudf ebuild. Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/lablgtk: remove oldAlexis Ballier2016-04-303-166/+0
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/lablgtk: bump to 2.18.4Alexis Ballier2016-04-302-0/+84
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/labltk: bump to 8.06.1Alexis Ballier2016-04-302-0/+45
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/oasis: bump to 0.4.6Alexis Ballier2016-04-302-0/+40
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/ocamlgraph: restore keywords on 1.8.7 now that dose3 is fixedAlexis Ballier2016-04-221-2/+1
| | | | Package-Manager: portage-2.2.28
* dev-ml/dose3: fix build with ocamlgraph 1.8.7Alexis Ballier2016-04-222-0/+14
| | | | Package-Manager: portage-2.2.28
* dev-ml/dose3: bump to 4.3Alexis Ballier2016-04-222-0/+66
| | | | Package-Manager: portage-2.2.28
* dev-ml/cppo: bump to 1.3.2Alexis Ballier2016-04-222-0/+33
| | | | Package-Manager: portage-2.2.28
* dev-ml/ocamlgraph: bump to 1.8.7; without keywords because it breaks dose3Alexis Ballier2016-04-212-0/+64
| | | | Package-Manager: portage-2.2.28
* HTTPS for *.freedesktop.orgAnthony Ryan2016-04-201-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | * Excluding xorg.freedesktop.org * Excluding tango.freedesktop.org The following modified ebuilds were found to have problems after modification but the problems were determined to not be a regression. Upstream tarball has a new hash: * app-misc/evtest-1.29 * app-misc/evtest-1.30 * dev-embedded/scratchbox2-2.0-r1 * dev-ml/cairo-ocaml-1.2.0 * net-libs/libqmi-1.0.0 * sys-auth/libfprint-0.4.0 * sys-auth/libfprint-0.5.0 * sys-auth/libfprint-0.5.1 Upstream tarball has been deleted: * dev-libs/liblazy-0.2 * dev-util/pkgconfig-openbsd-20130507-r1 * x11-libs/xvba-video-0.8.0-r3 * x11-misc/driconf-0.9.1-r1 * x11-misc/xdg-utils-1.1.0_rc2-r1
* dev-ml/utop: bump to 1.19.1Alexis Ballier2016-04-202-0/+60
| | | | Package-Manager: portage-2.2.28
* dev-ml/utop: bump to 1.19Alexis Ballier2016-04-132-0/+60
| | | | Package-Manager: portage-2.2.28
* dev-ml/utop: remove oldAlexis Ballier2016-04-135-234/+0
| | | | Package-Manager: portage-2.2.28
* dev-ml/lambda-term: bump to 1.10Alexis Ballier2016-04-092-0/+29
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/ocaml-hashcons: bump to 1.2Alexis Ballier2016-04-052-0/+39
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/stringext: bump to 1.4.2Alexis Ballier2016-04-012-0/+28
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/facile: bump to 1.1.2Alexis Ballier2016-03-282-0/+52
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/stringext: bump to 1.4.1Alexis Ballier2016-03-232-0/+28
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/ppx_expect: bump to 113.33.01Alexis Ballier2016-03-232-0/+54
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/core_kernel: bump to 113.33.01Alexis Ballier2016-03-232-0/+54
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/bignum: bump to 113.33.00Alexis Ballier2016-03-222-0/+52
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/bin-prot: bump to 113.33.00Alexis Ballier2016-03-222-0/+46
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/async: bump to 113.33.00Alexis Ballier2016-03-222-0/+61
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/async_extra: bump to 113.33.00Alexis Ballier2016-03-222-0/+56
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/async_rpc_kernel: bump to 113.33.00Alexis Ballier2016-03-222-0/+52
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/async_unix: bump to 113.33.00Alexis Ballier2016-03-222-0/+55
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/async_kernel: bump to 113.33.00Alexis Ballier2016-03-222-0/+53
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/core_bench: bump to 113.33.00Alexis Ballier2016-03-222-0/+53
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/core_profiler: bump to 113.33.00Alexis Ballier2016-03-222-0/+58
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/core_extended: bump to 113.33.00Alexis Ballier2016-03-222-0/+56
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/incremental: bump to 113.33.00Alexis Ballier2016-03-222-0/+53
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/core: bump to 113.33.00Alexis Ballier2016-03-222-0/+55
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/incremental_kernel: initial import; ebuild by meAlexis Ballier2016-03-223-0/+58
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/core_kernel: bump to 113.33.00Alexis Ballier2016-03-222-0/+54
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/result: initial import; ebuild by meAlexis Ballier2016-03-223-0/+38
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/ppx_assert: bump to 113.33.00Alexis Ballier2016-03-222-0/+47
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/ppx_bench: bump to 113.33.00Alexis Ballier2016-03-222-0/+46
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/ppx_bin_prot: bump to 113.33.00Alexis Ballier2016-03-222-0/+47
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/ppx_compare: bump to 113.33.00Alexis Ballier2016-03-222-0/+44
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/ppx_custom_printf: bump to 113.33.00Alexis Ballier2016-03-222-0/+43
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/ppx_driver: bump to 113.33.00Alexis Ballier2016-03-222-0/+42
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/ppx_core: bump to 113.33.00Alexis Ballier2016-03-222-0/+39
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/ppx_enumerate: bump to 113.33.00Alexis Ballier2016-03-222-0/+42
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>