aboutsummaryrefslogtreecommitdiff
path: root/math/coq
Commit message (Expand)AuthorAgeFilesLines
* *: Bump PORTREVISIONs for math/mpc update to 1.3.1Gerald Pfeifer2023-04-231-1/+1
* */tex*: Update version 20210325=>20230313Muhammad Moinur Rahman2023-04-111-2/+2
* accessibility/at-spi2-core: update to 2.46.0Tobias C. Berner2023-03-021-1/+1
* Mk/**tex.mk: Convert bsd.tex.mk to USES=texMuhammad Moinur Rahman2022-12-191-0/+1
* editors/emacs-devel: Update to 2022-11-28 snapshotYasuhiro Kimura2022-11-301-1/+1
* editors/emacs: Update to 28.2Yasuhiro Kimura2022-09-211-1/+1
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* math/coq: add missing run-time dependency on `math/ocaml-num'Alexey Dokuchaev2022-05-091-0/+1
* math/coq: enable on powerpcPiotr Kubaj2022-04-271-1/+0
* OCaml: transient update of the stack to version 4.07.1Alexey Dokuchaev2022-04-161-1/+2
* textproc/libxml2: bump all LIB_DEPENDS consumersCharlie Li2022-04-101-1/+1
* math/coq: force unsafe strings to unbreak against modern OCaml.Alexey Dokuchaev2022-04-102-4/+25
* Emacs ports: Bump PORTREVISION after Emacs 28.1Joseph Mingrone2022-04-071-1/+1
* textproc/libxml2: bump all dependenciesMatthias Fechner2022-03-261-1/+1
* Fix CONFLICTS entries of multiple portsStefan Eßer2022-01-101-0/+2
* USES=emacs: Chase package name changesJoseph Mingrone2021-11-151-1/+1
* *: Chase new major version (29) of editors/emacs-develJoseph Mingrone2021-10-011-1/+1
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* editors/emacs: Update to 27.2Joseph Mingrone2021-03-261-1/+1
* editors/emacs: Update to version 27.1Joseph Mingrone2020-08-121-1/+1
* editors/emacs-devel: Update to latest master branch commit, 4f2b415Joseph Mingrone2020-01-071-1/+1
* math: Add missing USES={gl,gnome,php,sdl,xorg}Tobias Kortkamp2019-11-081-1/+1
* USES=emacs ports: Bump PORTREVISION for editors/emacs 26.1 upgradeJoseph Mingrone2018-05-311-1/+1
* Flavorize and modernize Emacs portsJoseph Mingrone2018-02-011-7/+8
* For ports that are marked BROKEN on armv6, and also fail to build onMark Linimon2017-11-301-0/+1
* Chase Emacs updateAshish SHUKLA2017-09-121-0/+1
* Mark some ports failing on armv6, for errors classified as "???",Mark Linimon2017-05-271-2/+3
* Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.Hiroki Sato2016-12-316-158/+152
* Update to 8.5.Hiroki Sato2016-12-315-853/+2865
* - Add missing dependencies.Hiroki Sato2016-12-311-16/+42
* Stepping down as maintainer for some ports.Johan van Selst2016-12-141-1/+1
* - Move license information from port description into LICENSE knobsAlexey Dokuchaev2016-11-192-15/+10
* Remove NLS, DOCS, EXAMPLES and IPV6 from OPTIONS_DEFAULT, they are enabled by...Dmitry Marakasov2016-05-231-1/+1
* - Fix trailing whitespace in pkg-descrs, categories [g-n]*Dmitry Marakasov2016-05-191-1/+1
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-5/+5
* Update Coq to 8.4pl6Johan van Selst2015-05-233-3/+4
* - Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which addGuido Falsi2015-05-041-1/+1
* Update to Coq 8.4pl5Johan van Selst2014-12-223-5/+3
* Cleanup plistAntoine Brodin2014-11-131-85/+1
* Update the default version of GCC in the Ports Collection from GCC 4.7.4Gerald Pfeifer2014-09-101-0/+1
* Fix packagingAntoine Brodin2014-09-031-0/+4
* Switch to texliveBaptiste Daroussin2014-07-231-3/+2
* multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-patternEitan Adler2014-07-011-1/+1
* - Update coq to 8.4.3Johan van Selst2014-01-113-38/+39
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* - Add build dependency due to tex changesJohan van Selst2013-06-131-1/+1
* Rectify USE_TEX to support both of teTeX and TeXLive.Hiroki Sato2013-05-111-1/+1
* Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetexHiroki Sato2013-05-061-1/+1