gpo.zugaina.org

Search Portage & Overlays:

dev-ml/ppx_let

Monadic let-bindings

Screenshots

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

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

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

    View      Download      Browse     License: Apache-2.0   
    Overlay: gentoo

ChangeLog

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 497fc2e826dd21d77c1333205dfd0f0298c5565e
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed May 4 10:36:43 2016 -0600

merged from funtoo-staging

merged:

funtoo-staging: 8191b6b8ec173ef3b2335ad80164b9069e3e6626

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 9eeef3ae303a84bb7c30fb173721ba7e0bf687b5
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Feb 6 11:14:11 2016 -0700

merged from funtoo-staging

merged:

funtoo-staging: e7dc97e2120a0de4c1d652c80639a05a86d44a22