1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-29 01:13:08 +00:00
Commit Graph

10 Commits

Author SHA1 Message Date
Max Brazhnikov
2ec6f2d5e4 math/facile:
- bump PORTREVISION to trigger repackaging after recent ocaml update:
  the package is usable only with ocaml which was used to compile facile.

lang/ocaml:
- add upgrading notes for committers
2014-05-13 07:25:54 +00:00
Max Brazhnikov
d02c2961d0 math/facile:
- add patch to fix build with ocaml-4
- modernize Makefile (USES, staging)
- bump PORTREVISION after ocaml update
- assign maintainership to kde@
2014-04-01 08:41:13 +00:00
Tilman Keskinoz
9c913b50d2 New years resolution: Reduce the number of ports i maintain, but don't use 2014-01-02 09:15:39 +00:00
Baptiste Daroussin
ce5e457020 Add NO_STAGE all over the place in preparation for the staging support (cat: math) 2013-09-20 20:55:04 +00:00
Stanislav Sedov
822d8be2a9 - Bump portrevision of math/facile after the lang/ocaml udpate.
Suggested by:	makc
2011-04-06 05:43:49 +00:00
Martin Wilke
bb86cbe5d2 - Get Rid MD5 support 2011-03-20 12:54:45 +00:00
Koop Mast
c7d3087af6 Instead of only 1 LGPL license there are two namely: the 2.1 and 3 version.
So make a LGPL21 and LGPL3 value for the license framework.

Replace the LGPL used in ports with LGPL21. (checked all consumers)

Obtained from:	http://www.gnu.org/licenses/ (Under License URL's)
2010-06-04 21:41:41 +00:00
Tilman Keskinoz
8643d4aa4f Add LICENSE and LICENSE_FILE to my ports. 2010-05-30 17:39:07 +00:00
Max Brazhnikov
f6d6eb4043 Bump PORTREVISION after latest ocaml update.
Approved by:	portmgr (itetcu)
2010-04-20 17:32:48 +00:00
Tilman Keskinoz
2818b6fdd2 Add facile, a Functional Constraint Library written in Ocaml 2008-02-09 21:57:03 +00:00