gpo.zugaina.org

Search Portage & Overlays:

dev-ml/ppx_jane

Standard Jane Street ppx rewriters

Screenshots

  • ppx_jane-0.16.0-r1
    ~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
    +ocamlopt

    View      Download      Browse     License: Apache-2.0   
    Overlay: gentoo
  • ppx_jane-0.15.0
    amd64 arm arm64 ~ppc ~ppc64 ~riscv x86
    +ocamlopt

    View      Download      Browse     License: Apache-2.0   
    Overlay: gentoo
  • ppx_jane-0.14.0
    amd64 arm arm64 ~ppc ppc64 ~riscv x86
    +ocamlopt

    View      Download      Browse     License: Apache-2.0   
    Overlay: gentoo

ChangeLog

commit 15fd7762a9d18be046e10297666b8c916dd32d89
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Jun 25 12:10:48 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: bc3e84d625dbdbba096f1ecaada9d2bca33feef3

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 5e31b0420f5cf0e6e25372a1fb4064b537885678
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Apr 2 12:11:37 2017 -0600

merged from funtoo-staging

merged:

funtoo-staging: 51f6eb8609d66b5db3c6f63c92353dbad1bc66c9

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 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 7340fe104dfe7562e09e35e30a07d5b9dcb12580
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Mar 24 07:28:53 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: 27d061bd19cef540e32c334508aa7eec0838e977

commit 72e7dab44f0d8a200766118bc0c0946c5f1ede97
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Feb 13 06:03:57 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: 8b7d6828cb3ac3ac5e33fbb6db24bbd13811f538

commit 9eeef3ae303a84bb7c30fb173721ba7e0bf687b5
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Feb 6 11:14:11 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: e7dc97e2120a0de4c1d652c80639a05a86d44a22