aboutsummaryrefslogtreecommitdiff
path: root/math/facile
Commit message (Collapse)AuthorAgeFilesLines
* Update to 1.1.1.Raphael Kubo da Costa2015-12-043-15/+3
| | | | | | | | This is a bug fix release that adds OCaml4 support, which allows us to drop files/patch-ocaml4. Notes: svn path=/head/; revision=402914
* math/facile: Bump because ocaml version ungradedJohn Marino2015-04-291-1/+1
| | | | | | | | | | The ocaml makefile says to bump this port after ocaml is changed. I don't know how necessary this really is though. PR: 195736 Notes: svn path=/head/; revision=385013
* Cleanup plistAntoine Brodin2014-11-131-1/+0
| | | | Notes: svn path=/head/; revision=372546
* math/facile:Max Brazhnikov2014-05-131-1/+1
| | | | | | | | | | | - 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 Notes: svn path=/head/; revision=353924
* math/facile:Max Brazhnikov2014-04-013-9/+23
| | | | | | | | | | - add patch to fix build with ocaml-4 - modernize Makefile (USES, staging) - bump PORTREVISION after ocaml update - assign maintainership to kde@ Notes: svn path=/head/; revision=349826
* New years resolution: Reduce the number of ports i maintain, but don't useTilman Keskinoz2014-01-021-1/+1
| | | | Notes: svn path=/head/; revision=338429
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-4/+2
| | | | | | | math) Notes: svn path=/head/; revision=327746
* - Bump portrevision of math/facile after the lang/ocaml udpate.Stanislav Sedov2011-04-061-1/+1
| | | | | | | Suggested by: makc Notes: svn path=/head/; revision=272277
* - Get Rid MD5 supportMartin Wilke2011-03-201-1/+0
| | | | Notes: svn path=/head/; revision=271346
* Instead of only 1 LGPL license there are two namely: the 2.1 and 3 version.Koop Mast2010-06-041-1/+1
| | | | | | | | | | | 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) Notes: svn path=/head/; revision=255734
* Add LICENSE and LICENSE_FILE to my ports.Tilman Keskinoz2010-05-301-0/+2
| | | | Notes: svn path=/head/; revision=255330
* Bump PORTREVISION after latest ocaml update.Max Brazhnikov2010-04-201-0/+1
| | | | | | | Approved by: portmgr (itetcu) Notes: svn path=/head/; revision=252966
* Add facile, a Functional Constraint Library written in OcamlTilman Keskinoz2008-02-094-0/+42
Notes: svn path=/head/; revision=206967
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-10 09:18:08 +0000