notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

FInally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combinatio for a given watch list. This is what FreshPorts will look for.

non port: math/alt-ergo/Makefile

Number of commits found: 23

Saturday, 24 Feb 2024
18:21 Muhammad Moinur Rahman (bofh) search for other commits by this committer
math/alt-ergo: Moved man to share/man

Approved by:    portmgr (blanket)
commit hash: 1189805d578b011434ec604dd72b4058877b2e42 commit hash: 1189805d578b011434ec604dd72b4058877b2e42 commit hash: 1189805d578b011434ec604dd72b4058877b2e42 commit hash: 1189805d578b011434ec604dd72b4058877b2e42 1189805
Wednesday, 5 Jul 2023
09:55 Guido Falsi (madpilot) search for other commits by this committer
lang/ocaml: Update to 4.08.1

This update allows (and for some requires) to also update dependencies
to newer versions. Where possible I updated to the latest version.

The ocaml port now is MAKE_JOBS safe.

Changes to dependent ports included in this commit:

- devel/ocaml-sexplib: Rename to devel/ocaml-sexplib0 adapting to
  upstream. Update to 0.16.0
- devel/coccinelle: Update to 1.1.1, moved to github
- devel/ocaml-camlp4: Update to 4.08+1
- devel/ocaml-camomile: Use dune for build, adapt port
- devel/ocaml-cppo: Fix lib files installation [1]
- devel/ocaml-dune: Update to 3.7.1 [2]
- devel/ocaml-findlib: Update to 1.9.6 [3]
- devel/ocaml-ipaddr: Update to 3.1.0
- devel/ocaml-parmap: Update to 1.2.4, use dune for build [4]
- devel/ocaml-ppx-tools: Update to 6.6, use dune for build
- graphics/ocaml-cairo: Update to 0.6.4
- net-p2p/mldonkey: Update to 3.1.7-2 [2]
- net/unison: Remove ocaml 4.07 compatibility patches
- net/unison232: Mark broken, fails to build with newer ocaml [5]
- security/ocaml-ssl: Update to 0.5.13 [2]
- x11-toolkits/ocaml-labltk: Update to 8.06.7 [2]

Dune now requires full path as argument to --libdir, so various
ports have been patched accordingly.

Bumping PORTREVISION for all dependent ports that were not updated.

PR:			272067
Approved by:		michipili@gmail.com (maintainer timeout),
			eduardo (maintainer timeout) [1],
			danfe [2],
			hrs (maintainer timeout) [3],
			dumbbell (maintainer timeout) [4],
			mandree (implicit) [5]
Differential Revision:	https://reviews.freebsd.org/D40599
commit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2c commit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2c commit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2c commit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2c 2b40e46
Wednesday, 7 Sep 2022
21:10 Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.

This commit implements such a proposal and moves one of the WWW: entries
of each pkg-descr file into the respective port's Makefile. A heuristic
attempts to identify the most relevant URL in case there is more than
one WWW: entry in some pkg-descr file. URLs that are not moved into the
Makefile are prefixed with "See also:" instead of "WWW:" in the pkg-descr
files in order to preserve them.

There are 1256 ports that had no WWW: entries in pkg-descr files. These
ports will not be touched in this commit.

The portlint port has been adjusted to expect a WWW entry in each port
Makefile, and to flag any remaining "WWW:" lines in pkg-descr files as
deprecated.

Approved by:		portmgr (tcberner)
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 b7f0544
Wednesday, 20 Jul 2022
14:22 Tobias C. Berner (tcberner) search for other commits by this committer
math: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Aaron Dalton <aaron@daltons.ca>
  *  Alessando Sagratini <ale_sagra@hotmail.com>
  *  Alex Dupre <ale@FreeBSD.org>
  *  Alexey Dokuchaev <danfe@FreeBSD.org>
  *  Amarendra Godbole <amarendra.godbole@gmail.com>
  *  Anders Nordby <anders@FreeBSD.org>
  *  Andreas Fehlner (fehlner@gmx.de)
  *  Andrew L. Neporada <andrew@chg.ru>
  *  Andrey <gugu@zoo.rambler.ru>
  *  Andrey Zakhvatov
  *  Anton Berezin <tobez@FreeBSD.org>
  *  Anton Berezin <tobez@plab.ku.dk>
  *  Anton Berezin <tobez@tobez.org>
  *  Anton Shterenlikht
  *  Anton Shterenlikht <mexas@bris.ac.uk>
  *  Bob Eager <bob@eager.cx>
  *  Charlie Kester <corky1951@comcast.net>
  *  Cheng-Lung Sung <clsung@FreeBSD.org>
  *  Cheng-Lung Sung <clsung@dragon2.net>
  *  Chris D. Faulhaber <jedgar@fxp.org>
  *  Christopher J. Ruwe
  *  Christopher Key <cjk32@cam.ac.uk>
  *  Chuck Hein <geekdude@pacbell.net>
  *  Cyrille Szymanski <cnszym@gmail.com>
  *  Dan Rue <drue@therub.org>
  *  Danilo Egea Gondolfo <danilo@FreeBSD.org>
  *  David Naylor <dbn@FreeBSD.org>
  *  David Naylor <naylor.b.david@gmail.com>
  *  Dereckson <dereckson@gmail.com>
  *  Devin Teske <dteske@FreeBSD.org>
  *  Dmitry Sivachenko <demon@FreeBSD.org>
  *  Dmitry Sivachenko <mitya@yandex-team.ru>
  *  Don Croyle <croyle@gelemna.org>
  *  Douglas K. Rand (rand@meridian-enviro.com)
  *  Dylan Simon <dylan@dylex.net>
  *  Edwin Groothuis <edwin@mavetju.org>
  *  Eijiro Shibusawa <ej-sib@ice.uec.ac.jp>
  *  Emanuel Haupt <ehaupt@FreeBSD.org>
  *  Eoin Lawless (eoin@maths.tcd.ie)
  *  Eric A. Griff <eagriff@global2000.net>
  *  Eric van Gyzen <vangyzen@stat.duke.edu>
  *  Ewgenij Gawrilow <gawrilow@math.tu-berlin.de>
  *  Fernan Aguero <fernan@iib.unsam.edu.ar>
  *  Foxfair Hu <foxfair@FreeBSD.org>
  *  Frederic Han <han@math.jussieu.fr>
  *  Gabor Kovesdan <gabor@FreeBSD.org>
  *  Gea-Suan Lin <gslin@gslin.org>
  *  George Reid <greid@ukug.uk.freebsd.org>
  *  Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
  *  Greg Larkin <glarkin@FreeBSD.org>
  *  Guangyuan Yang <ygy@FreeBSD.org>
  *  Gustau Perez i Querol <gustau.perez@gmail.com>
  *  Heinz Tschabitscher
  *  Horia Racoviceanu <horia@racoviceanu.com>
  *  Hye-Shik Chang <perky@fallin.lv>
  *  Iblis Lin <iblis@hs.ntnu.edu.tw>
  *  Issei Suzuki <issei@jp.FreeBSD.ORG>
  *  Janni
  *  Jason Harris <jharris@widomaker.com>
  *  Javad Kouhi <javad.kouhi@gmail.com>
  *  Jean-Yves Lefort <jylefort@FreeBSD.org>
  *  Jin-Shan Tseng <tjs@cdpa.nsysu.edu.tw>
  *  Joe Marcus Clarke <marcus@FreeBSD.org>
  *  Johannes Dieterich <dieterich@ogolem.org>
  *  Johannes M Dieterich <jmd@FreeBSD.org>
  *  Johannes Meixner <johannes@perceivon.net>
  *  John Marino <marino@FreeBSD.org>
  *  Joseph Koshy <jkoshy@FreeBSD.org>
  *  Ju Pengfei <ju.pengfei@gmail.com>
  *  Jukka A. Ukkonen <jau@iki.fi>
  *  Kay Lehmann <kay_lehmann@web.de>
  *  Kevin Lo <kevlo@FreeBSD.org>
  *  Klaus T. Aehlig <aehlig@linta.de>
  *  Kubilay Kocak <koobs@FreeBSD.org>
  *  Kurt Jaeger <fbsd-ports@opsec.eu>
  *  Lars Engels <lme@FreeBSD.org>
  *  Lars Koeller <Lars.Koeller@Uni-Bielefeld.DE>
  *  Lars Koeller <Lars.Koeller@Uni-Bielefeld.de>
  *  Li-Wen Hsu <lwhsu@FreeBSD.org>
  *  Li-Wen Hsu <lwhsu@lwhsu.org>
  *  M. L. Dodson, <bdodson@scms.utmb.edu>
  *  Maho Nakata <maho@FreeBSD.org>
  *  Mario S F Ferreira <lioux@FreeBSD.org>
  *  Mario S F Ferreira <lioux@linf.unb.br> et al.
  *  Mario Sergio Fujikawa Ferreira <lioux@FreeBSD.org>
  *  Mark Felder <feld@FreeBSD.org>
  *  Mark R V Murray <markm@FreeBSD.org>
  *  Martin Matuska <mm@FreeBSD.org>
  *  Matthew Seaman <matthew@FreeBSD.org>
  *  Maurice Castro <maurice@serc.rmit.edu.au>
  *  Maxim Sobolev <sobomax@FreeBSD.org>
  *  Maxime Henrion <mux@FreeBSD.org>
  *  Michael Haro <mharo@FreeBSD.org>
  *  Michael Johnson <ahze@FreeBSD.org>
  *  Michael Johnson <ahze@ahze.net>
  *  Michael Neumann <mneumann@ntecs.de>
  *  Muhammad Moinur Rahmanh <5u623l20@gmail.com>
  *  NAKATA Maho <chat95@mbox.kyoto-inet.or.jp>
  *  NAKATA, Maho <maho@FreeBSD.org>
  *  Nakata Maho <maho@FreeBSD.org>
  *  Nicola Vitale <nivit@email.it>
  *  Olivier Duchateau
  *  Pedro F. Giffuni
  *  Pedro F. Giffuni <giffunip@asme.org>
  *  Pedro Giffuni
  *  Pedro Giffuni <giffunip@asme.org>
  *  Pedro Giffuni <pfg@FreeBSD.org>
  *  Peter Pentchev <roam@FreeBSD.org>
  *  Philip Paeps <philip@FreeBSD.org>
  *  Pierre-Paul Lavoie <ppl@nbnet.nb.ca>
  *  Pietro Cerutti <gahr@FreeBSD.org>
  *  Piotr Rybicki <meritus@innervision.pl>
  *  Po-Chuan Hsieh <sunpoet@FreeBSD.org>
  *  Rainer Hurling <rhurlin@gwdg.de>
  *  Robert Jenssen
  *  Robin Schilham
  *  Rod Taylor <ports@rbt.ca>
  *  Roman Neuhauser <neuhauser@sigpipe.cz>
  *  Sander Vesik <sander@haldjas.folklore.ee>
  *  Scott Flatman <sf@dsinw.com>
  *  Seamus Venasse <svenasse@polaris.ca>
  *  Sergey A. Osokin <osa@FreeBSD.org>
  *  Sergey Akifyev <asa@agava.com>
  *  Sergey Akifyev <asa@gascom.ru>
  *  Sergey Skvortsov <skv@FreeBSD.org>
  *  Sergey Skvortsov <skv@protey.ru>
  *  Shell Hung <shell@shellhung.org>
  *  Shin-ya MURAKAMI <murashin@gfd-dennou.org>
  *  Stas Timokhin <devel@stasyan.com>
  *  Stefan A. Deutscher (sad@mailaps.org)
  *  Stefan Esser <se@StefanEsser.FreeBSD.org>
  *  Stephen Montgomery-Smith <stephen@FreeBSD.edu>
  *  Stephen Montgomery-Smith <stephen@FreeBSD.org>
  *  Stephen Montgomery-Smith <stephen@math.missouri.edu>
  *  Stephen Montgomery-Smith <stephen@missouri.edu>
  *  Steve Wills <steve@mouf.net>
  *  Steve Wills <swills@FreeBSD.org>
  *  Steven Kreuzer <skreuzer@FreeBSD.org>
  *  Steven Kreuzer <skreuzer@f2o.org>
  *  Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org>
  *  TAKATSU Tomonari <tota@FreeBSD.org>
  *  Thierry Thomas (<thierry@pompo.net>)
  *  Thierry Thomas <thierry@pompo.net>
  *  Thomas Gellekum <tg@FreeBSD.org>
  *  Thomas Sandford <freebsduser@paradisegreen.co.uk>
  *  Timothy Bourke <timbob@bigpond.com>
  *  Tony Maher
  *  Tz-Huan Huang <tzhuan@csie.org>
  *  Vsevolod Stakhov <vsevolod@FreeBSD.org>
  *  Vsevolod Stakhov <vsevolod@highsecure.ru>
  *  Waitman Gobble <waitman@waitman.net>
  *  Wen Heping <wen@FreeBSD.org>
  *  Wen Heping <wenheping@gmail.com>
  *  Will Andrews <andrews@technologist.com>
  *  Yi-Hsuan Hsin <mhsin@mhsin.org>
  *  Ying-Chieh Liao <ijliao@FreeBSD.org>
  *  Yinghong.Liu <relaxbsd@gmail.com>
  *  Yoshiaki UCHIKAWA <yoshiaki@kt.rim.or.jp>
  *  Yukihiro Nakai <Nakai@technologist.com>
  *  Yuri Victorovich <yuri@FreeBSD.org>
  *  Yuri Victorovich <yuri@rawbw.com>
  *  Yuri Victorovich <yuri@tsoft.com>
  *  Zhen REN <bg1tpt@gmail.com>
  *  amir.husaini@gmail.com
  *  arved
  *  asami
  *  b.f. <bf@FreeBSD.org>
  *  bart <lbartoletti@FreeBSD.org>
  *  bauerm
  *  bf <bf2006a@yahoo.com>
  *  bf <bf@FreeBSD.org>
  *  bf@FreeBSD.org
  *  bremner@unb.ca
  *  chinsan
  *  chuckr@FreeBSD.org
  *  dawe <daweonline@gmail.com>
  *  dbader@ece.unm.edu
  *  dd
  *  demon@FreeBSD.org
  *  dikshie
  *  eserte
  *  fenner
  *  gahr
  *  giffunip
  *  gmarco@giovannelli.it
  *  gurkan@phys.ethz.ch
  *  ijliao
  *  janek@gaja.ipan.lublin.pl
  *  jhs@berklix.com / asami (original)
  *  jmz
  *  js@jeannot.org
  *  keith@FreeBSD.org
  *  ljo
  *  mr
  *  nobu@rd.isac.co.jp
  *  pauls@utdallas.edu
  *  pusto@web.de
  *  reg@shale.csir.co.za
  *  rfarmer@predatorlabs.net
  *  stephen@FreeBSD.org
  *  thierry@pompo.net
  *  tobez
  *  will
  * # Created by Matthias Fechner <mfechner@FreeBSD.org>

With hat:	portmgr
commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da f53eb28
Saturday, 16 Apr 2022
07:19 Alexey Dokuchaev (danfe) search for other commits by this committer
OCaml: transient update of the stack to version 4.07.1

This is the first step in modernizing our OCaml ports infrastructure,
as we had accumulated substantial technical debt over the years when
many of its consumer ports had not received proper care and updates.

It is currently considered as the lowest supported version (baseline)
in majority of open-source OCaml projects, which would help to pull
up other ports, e.g. `devel/ocaml-dune' in smaller, manageable pieces.

For conservative hackers among us and for compatibility with RHEL 8
which is also on it, having 4.07 in the tree would allow users stick
to that package (pkg lock it) if needed.

PR:		250408, 262781
Exp-run by:	antoine
commit hash: 317aa0442c9942009c1f9c558f8fb6e49d4568ab commit hash: 317aa0442c9942009c1f9c558f8fb6e49d4568ab commit hash: 317aa0442c9942009c1f9c558f8fb6e49d4568ab commit hash: 317aa0442c9942009c1f9c558f8fb6e49d4568ab 317aa04
Thursday, 29 Apr 2021
20:15 Dmitry Marakasov (amdmi3) search for other commits by this committer
math/alt-ergo: fix build
commit hash: 541ea6df4e37d136287cfad02508149c4c8010ed commit hash: 541ea6df4e37d136287cfad02508149c4c8010ed commit hash: 541ea6df4e37d136287cfad02508149c4c8010ed commit hash: 541ea6df4e37d136287cfad02508149c4c8010ed 541ea6d
Tuesday, 6 Apr 2021
14:31 Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb 305f148
Thursday, 4 Feb 2021
10:01 bapt search for other commits by this committer
Remove the GUI option

The GUI is currently non functionnal on FreeBSD from my testing and depends
on deprecated gnome2 libraries
Original commitRevision:564009 
Monday, 18 May 2020
00:58 linimon search for other commits by this committer
Mark as BROKEN on powerpc64:

  /tmp/camlasm2822e8.s: Assembler messages:
  /tmp/camlasm2822e8.s:10348: Error: operand out of range (0x000000000000804c is
not between 0xffffffffffff8000 and 0x0000000000007ffc)
  /tmp/camlasm2822e8.s:32988: Error: operand out of range (0x000000000000805c is
not between 0xffffffffffff8000 and 0x0000000000007ffc)
Original commitRevision:535698 
Monday, 27 Jun 2016
21:30 rene search for other commits by this committer
Reset ports maintained by bf@ until he has time again to work on them.

PR:		210474
Submitted by:	jbeich
With hat:	portmgr-secretary
Original commitRevision:417685 
Friday, 1 Apr 2016
14:16 mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
Original commitRevision:412348 
Monday, 4 May 2015
15:46 madpilot search for other commits by this committer
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
  depends on the camlp4 language and labltk ocaml modules, which are
  now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt

PR:			199845
Submitted by:		jbeich@
Differential Revision:	https://reviews.freebsd.org/D2434
Approved by:		portmgr (mat)
Original commitRevision:385413 
Sunday, 7 Dec 2014
00:07 antoine search for other commits by this committer
Canonicalize a few licenses
Original commitRevision:374163 
Wednesday, 10 Sep 2014
20:50 gerald search for other commits by this committer
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
Original commitRevision:367888 
Wednesday, 25 Jun 2014
05:35 bapt search for other commits by this committer
Convert GMAKE to MAKE_CMD
Please note that lots of invocation of MAKE_CMD here are wrong as they do not
properly respect MAKE_ENV and friends

With hat:	portmgr
Original commitRevision:359185 
Monday, 2 Jun 2014
23:51 marino search for other commits by this committer
math/alt-ergo: Update version 0.94 => 0.95.2 and support stage
Original commitRevision:356261 
Monday, 26 May 2014
12:28 miwi search for other commits by this committer
- Convert gmake,bzip2 to USES

Approved by:	portmgr
Original commitRevision:355316 
Friday, 20 Sep 2013
20:55 bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
Original commitRevision:327746 
Monday, 18 Mar 2013
16:11 bf search for other commits by this committer
update master sites; trim headers; reposition LICENSE, WWW
Original commitRevision:314582 
Thursday, 7 Mar 2013
03:46 bf search for other commits by this committer
switch to the new options format
Original commitRevision:313560 
Tuesday, 5 Mar 2013
20:22 bf search for other commits by this committer
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)
Original commitRevision:313476 
Friday, 1 Jun 2012
05:26 dinoex search for other commits by this committer
- update png to 1.5.10
Original commit
Wednesday, 21 Dec 2011
02:58 bf search for other commits by this committer
Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification.
Original commit

Number of commits found: 23