SHA256 (String-Scanf-2.1.tar.gz) = c519f6bf7c54f92a72a05f317c730f4fd450945672947782fb4e17b9c1176837 SIZE (String-Scanf-2.1.tar.gz) = 4899 tcut icon' href='/favicon.ico'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/sysutils/fusefs-sqlfs/pkg-message
td class='commitgraph'>*
Commit message (Expand)AuthorAgeFilesLines
- Update coq to 8.4.3johans2014-01-113-38/+39
| | | | | - Enable stage support - Simplify options handling
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵bapt2013-09-211-0/+1
| | | | math)
* - Add build dependency due to tex changesjohans2013-06-131-1/+1
| | | | | PR: ports/179372 Submitted by: John Marino <draco@marino.st>
* Rectify USE_TEX to support both of teTeX and TeXLive.hrs2013-05-121-1/+1
| | | | | | | | | TEX_DEFAULT: A knob to choose teTeX or TeXLive. One can specify in /etc/make.conf. USE_TEX: A knob for port developers. Valid keywords are listed in bsd.tex.mk.
* Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetexhrs2013-05-061-1/+1
| | | | instead to make migration to TeXLive easier.
* Update coq to 8.4.2johans2013-04-302-4/+3
|
* update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjustbf2013-03-061-0/+1
| | | | | | | dependent ports PR: 144982, 149958 Reviewed by: johans (earlier version of the patch)
* - Update coq to 8.4 pl1 [1]johans2013-02-174-1154/+856
| | | | | | | | | http://coq.inria.fr/coq-84 - Remove local patch that is now included upstream - Add ocaml-findlib as build dependency PR: ports/176056 Submitted by: Jaap Boender <jaapb@kerguelen.org>
* Convert to new options frameworkjohans2012-06-291-14/+20
|
* - update png to 1.5.10dinoex2012-06-011-0/+1
|
* - Update coq to 8.3.3johans2012-03-255-54/+361
| | | | | | | - Fix build with new camlp5 (patch from official repo) - Remove BROKEN tag Feature safe: yes
* - Mark BROKEN: does not compilepav2012-03-151-0/+2
| | | | | | | | | | | OCAMLC pretyping/pretype_errors.mli OCAMLOPT pretyping/pretype_errors.ml File "pretyping/pretype_errors.ml", line 48, characters 4-109: Error: Unbound constructor Stdpp.Exc_located gmake[1]: *** [pretyping/pretype_errors.cmx] Error 2 Reported by: pointyhat Feature safe: yes
* Mark as broken on powerpc: fails to link.linimon2011-11-111-0/+4
| | | | | Hat: portmgr Feature safe: yes
* Bump PORTREVISION after open-mofit updatemakc2011-05-021-0/+1
|
* Update coq to 8.3.2johans2011-04-262-5/+6
|
* Correct PORTVERSION: pl (patch level) releases follow a main releasejohans2011-04-191-1/+2
| | | | Reported by: erwin
* - Update coq to 8.3pl1johans2011-02-123-80/+3
| | | | - Remove obsoleted patch (fixed in dist)
* Fix build with new ocaml preprocessor (patch from upstream)johans2010-12-112-0/+78
| | | | Reported by: pointyhat via pav
* - Update coq to 8.3johans2010-11-094-202/+412
| | | | | | - Add a patch to fix threading issues Submitted by: AUGER Cedric <Cedric.Auger@lri.fr>
* - Update to version 8.2pl1johans2010-06-252-20/+19
| | | | | | | | | - Bump EPOCH due to different versioning style - Build and install documentation PR: ports/148034 Submitted by: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> Feature safe: yes
* - update to 1.4.1dinoex2010-03-281-1/+1
| | | | | Reviewed by: exp8 run on pointyhat Supported by: miwi
* Update my mail address to @FreeBSD.orgjohans2010-02-241-1/+1
| | | | Feature safe: yes
* - update to jpeg-8dinoex2010-02-051-1/+1
|
* - bump all port that indirectly depends on libjpeg and have not yet been ↵dinoex2009-07-31