aboutsummaryrefslogtreecommitdiffstats
path: root/views/.cvsignore
Commit message (Expand)AuthorAgeFilesLines
* Builtin View menus for tasks and mail.Christopher James Lahey2001-03-021-0/+2
FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
aboutsummaryrefslogtreecommitdiffstats
path: root/math/coq
Commit message (Expand)AuthorAgeFilesLines
* USES=emacs ports: Bump PORTREVISION for editors/emacs 26.1 upgradejrm2018-05-311-1/+1
* Flavorize and modernize Emacs portsjrm2018-02-021-7/+8
* For ports that are marked BROKEN on armv6, and also fail to build onlinimon2017-11-301-0/+1
* Chase Emacs updateashish2017-09-121-0/+1
* Mark some ports failing on armv6, for errors classified as "???",linimon2017-05-271-2/+3
* Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.hrs2017-01-016-158/+152
* Update to 8.5.hrs2016-12-315-853/+2865
* - Add missing dependencies.hrs2016-12-311-16/+42
* Stepping down as maintainer for some ports.johans2016-12-151-1/+1
* - Move license information from port description into LICENSE knobsdanfe2016-11-192-15/+10
* Remove NLS, DOCS, EXAMPLES and IPV6 from OPTIONS_DEFAULT, they are enabled by...amdmi32016-05-241-1/+1
* - Fix trailing whitespace in pkg-descrs, categories [g-n]*amdmi32016-05-191-1/+1
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.mat2016-04-011-5/+5
* Update Coq to 8.4pl6johans2015-05-233-3/+4
* - Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which addmadpilot2015-05-041-1/+1
* Update to Coq 8.4pl5johans2014-12-223-5/+3
* Cleanup plistantoine2014-11-141-85/+1
* Update the default version of GCC in the Ports Collection from GCC 4.7.4gerald2014-09-111-0/+1
* Fix packagingantoine2014-09-041-0/+4
* Switch to texlivebapt2014-07-231-3/+2
* multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-patterneadler2014-07-011-1/+1