Commit graph

6 commits

Author SHA1 Message Date
jaapb
f581c35392 Updated package to latest version, 0.7.1. Also straightened out some
github variables and updated PLIST to use OCAML_SITELIBDIR variable.

Upstream changes deal with ocaml 4.03 compatibility.
2016-06-17 10:48:57 +00:00
agc
d9e4cfe05d Add SHA512 digests for distfiles for devel category
Issues found with existing distfiles:
	distfiles/eclipse-sourceBuild-srcIncluded-3.0.1.zip
	distfiles/fortran-utils-1.1.tar.gz
	distfiles/ivykis-0.39.tar.gz
	distfiles/enum-1.11.tar.gz
	distfiles/pvs-3.2-libraries.tgz
	distfiles/pvs-3.2-linux.tgz
	distfiles/pvs-3.2-solaris.tgz
	distfiles/pvs-3.2-system.tgz
No changes made to these distinfo files.

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.
2015-11-03 03:27:11 +00:00
jaapb
84b6373ec5 Updated package to latest version, 0.7. Changes:
* Compatibility with ocaml-4.02 (Peter Zotoz, Hugo Heuzard)
  * Fix toplevel usage (Vincent Bernardoff)
  * Class: add equality for sets (Jeremy Yallop)
2014-10-09 20:25:24 +00:00
jaapb
8df508e16d Updated devel/ocaml-deriving-ocsigen to its latest version, 0.6.2. Changes
include:
  * Added a 'Default' class (Hugo Heuzard)
  * Allow private variant in the 'Functor' class (Pierre Chambart)
  * Switch build system to oasis and improved META
The package has also been updated to use the mk/ocaml.mk infrastructure.
2014-08-17 13:54:54 +00:00
jaapb
d61ec916a8 Updated ocaml-deriving-ocsigen to its latest version, 0.5. Changes include:
* Experimental minimalistic support of GADT
  * Allows to register predefined instances
  * Compatibility with typeconv >= 108.07.00
2013-11-01 11:42:40 +00:00
wiz
7ca047bc0a Import ocaml-deriving-ocsigen-0.3c as devel/ocaml-deriving-ocsigen.
Packaged by Jaap Boender.

Extension to OCaml for deriving functions from type declarations. Includes
derivers for pretty-printing, type-safe marshalling with structure-sharing,
dynamic typing, equality, and more.
2012-07-11 15:33:51 +00:00