dev-ml/ppx_tools
Tools for authors of ppx rewriters
-
ppx_tools-6.6amd64 ~arm ~arm64 ~ppc ~ppc64 x86+ocamlopt
View Download Browse License: MITOverlay: gentoo -
ppx_tools-6.5~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86+ocamlopt
View Download Browse License: MITOverlay: gentoo -
ppx_tools-6.4~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86+ocamlopt
View Download Browse License: MITOverlay: gentoo
ChangeLog
commit 6c13fab79ba410de3fef1a92f4e64ee9625faa45
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Jul 8 00:10:55 2017 -0600
merged from funtoo-staging
merged:
funtoo-staging: c98342d34d0bc9cbf7fa05c7c7d8ad91b0785f44
commit 6f2591b90bc6415787b07d3ff59514ab2be6af29
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Jun 22 12:11:35 2017 -0600
merged from funtoo-staging
merged:
funtoo-staging: ea713592ac37fca8c349d3c283fce2c2ae4052cd
commit 6cd4e378db4ace8a8cc52a6218eade864a4fe7c9
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Apr 5 12:11:37 2017 -0600
merged from funtoo-staging
merged:
funtoo-staging: 2ddbd4fe69ec0d5023e2ad8953995ca280b3592c
commit e9d8febcbc84dbd86505656c171577cab4bfb9f7
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Apr 4 00:11:33 2017 -0600
merged from funtoo-staging
merged:
funtoo-staging: 4c9a6cd6d4f7f0644f3dcc18cec79c501b9feb7e
commit d7d724aa9130c6ad6e0e429c886b6ee9fce0e5e3
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Mar 3 12:10:37 2017 -0700
merged from funtoo-staging
merged:
funtoo-staging: 784daabb5a2db22e9cbfd7980a45658355395351
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 9c9f94a154e733288cb06ec257e21d9ad45b07bd
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Nov 29 22:31:48 2016 -0700
merged from funtoo-staging
merged:
funtoo-staging: 8160fa39dc3ce589d8247c391bc1df19ea69fd92
commit 0942aeb71bd0d5c38ae44b9d7fa7e08facca1131
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue May 24 11:01:22 2016 -0600
merged from funtoo-staging
merged:
funtoo-staging: e77ee02ef9b8dc76366f532600c8a25480db53ce
commit b5191a6ca0b831d23ee29cfcbd528a09c7365cc7
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Mar 18 09:59:52 2016 -0600
merged from funtoo-staging
merged:
funtoo-staging: 68f0f5b8277d1dbf4dbae5304c3efd21ffeb5484
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
commit 93a2d17162579a02bba830b7624de167fe4f268b
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Feb 1 07:55:59 2016 -0700
merged from funtoo-staging
merged:
funtoo-staging: 25b8d72be414b55b126ddb771cd6f48eadda07f0
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sat Jul 8 00:10:55 2017 -0600
merged from funtoo-staging
merged:
funtoo-staging: c98342d34d0bc9cbf7fa05c7c7d8ad91b0785f44
commit 6f2591b90bc6415787b07d3ff59514ab2be6af29
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Jun 22 12:11:35 2017 -0600
merged from funtoo-staging
merged:
funtoo-staging: ea713592ac37fca8c349d3c283fce2c2ae4052cd
commit 6cd4e378db4ace8a8cc52a6218eade864a4fe7c9
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Apr 5 12:11:37 2017 -0600
merged from funtoo-staging
merged:
funtoo-staging: 2ddbd4fe69ec0d5023e2ad8953995ca280b3592c
commit e9d8febcbc84dbd86505656c171577cab4bfb9f7
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Apr 4 00:11:33 2017 -0600
merged from funtoo-staging
merged:
funtoo-staging: 4c9a6cd6d4f7f0644f3dcc18cec79c501b9feb7e
commit d7d724aa9130c6ad6e0e429c886b6ee9fce0e5e3
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Mar 3 12:10:37 2017 -0700
merged from funtoo-staging
merged:
funtoo-staging: 784daabb5a2db22e9cbfd7980a45658355395351
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 9c9f94a154e733288cb06ec257e21d9ad45b07bd
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Nov 29 22:31:48 2016 -0700
merged from funtoo-staging
merged:
funtoo-staging: 8160fa39dc3ce589d8247c391bc1df19ea69fd92
commit 0942aeb71bd0d5c38ae44b9d7fa7e08facca1131
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue May 24 11:01:22 2016 -0600
merged from funtoo-staging
merged:
funtoo-staging: e77ee02ef9b8dc76366f532600c8a25480db53ce
commit b5191a6ca0b831d23ee29cfcbd528a09c7365cc7
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Mar 18 09:59:52 2016 -0600
merged from funtoo-staging
merged:
funtoo-staging: 68f0f5b8277d1dbf4dbae5304c3efd21ffeb5484
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
commit 93a2d17162579a02bba830b7624de167fe4f268b
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Feb 1 07:55:59 2016 -0700
merged from funtoo-staging
merged:
funtoo-staging: 25b8d72be414b55b126ddb771cd6f48eadda07f0