aboutsummaryrefslogtreecommitdiff
path: root/math/coq/Makefile
Commit message (Expand)AuthorAgeFilesLines
* math/coq: reset maintainerMark Linimon2025-11-231-1/+1
* editors/emacs: Update to 30.2Yasuhiro Kimura2025-08-161-1/+1
* gnome.mk: rename gdkpixbuf2 to gdkpixbuf to prepare for port moveCharlie Li2025-03-171-1/+1
* */*: Chase editors/emacs updateJoseph Mingrone2025-02-241-0/+1
* math/coq: Update to 8.20.1Wen Heping2025-02-141-3/+2
* Mk/**ocaml.mk: Convert remaining bsd.ocaml.mk to Uses/ocaml.mkMuhammad Moinur Rahman2024-12-311-4/+1
* Chase major version update of editors/emacs-develJoseph Mingrone2024-07-041-1/+1
* Chase editors/emacs update to 29.4Joseph Mingrone2024-06-231-1/+1
* ocaml: Updates to ocaml compiler and several ocaml portsBenjamin Jacobs2024-05-221-1/+1
* Chase editors/emacs updateJoseph Mingrone2024-03-261-0/+1
* lang/ocaml: Update to 4.14.1Benjamin Jacobs2024-03-111-38/+53
* */*: Chase editors/emacs updateJoseph Mingrone2024-01-271-1/+1
* editors/emacs: Update to 29.1Yasuhiro Kimura2023-08-201-1/+1
* lang/ocaml: Update to 4.08.1Guido Falsi2023-07-051-1/+1
* *: 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
* 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-101-3/+6
* 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-311-4/+3
* Update to 8.5.Hiroki Sato2016-12-311-42/+16
* - 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-191-9/+9
* Remove NLS, DOCS, EXAMPLES and IPV6 from OPTIONS_DEFAULT, they are enabled by...Dmitry Marakasov2016-05-231-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-231-1/+1