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) combination for a given watch list. This is what FreshPorts will look for.

non port: math/coq/Makefile

Number of commits found: 91

Wednesday, 22 May 2024
17:16 Guido Falsi (madpilot) search for other commits by this committer Author: Benjamin Jacobs
ocaml: Updates to ocaml compiler and several ocaml ports

- Update devel/ocaml to 4.14.2 [1]
- Specify runtime dependency on GNU AS as full path, this fixes
  build on armv6 - armv7 [1] [2]
- converters/ocaml-base64: Update to 3.5.1, add LICENSE, other
  improvements
- converters/ocaml-jsonm: Strip shared objects [3]
- databases/ocaml-dbm: Update to 1.3, move to gitlub, other
  improvements
- devel/menhir: Update to 20231231
- devel/ocaml-base: Unbreak non-x86 [2]
- devel/ocaml-camlp-streams: Silence patch and strip commands
- devel/ocaml-ipaddr: Update to 5.5.0
- devel/ocaml-lwt: Update to 5.7.0 [4]
- devel/ocaml-result: Set package version, strip shared objects [5]
- devel/ocaml-sexplib: Resurrect and update to 0.16.0.
- devel/ocaml-stdio: Update to 0.17.0
- security/ocaml-cryptokit: Update to 1.19, add LICENSE, other
  improvements
- security/ocaml-ssl: Update to 0.7.0, install stublibs in package
  directory [6]
- x11-toolkits/ocaml-graphics: Reorder Makefile, silence patch
  command
- Bump PORTREVISION on ports requiring it after update.

Adding ports:

- devel/ocaml-cstruct
- devel/ocaml-compiler-libs [7]
- devel/ocaml-ppx_derivers [7]
- devel/ocaml-ppxlib [7]
- devel/ocaml-domain-name
- devel/ocaml-ocplib-endian [8]
- devel/ocaml-parsexp
- devel/ocaml-ppx_sexp_conv
- security/ocaml-lwt_ssl [9]

Resetting maintainership from michipili@gmail.com due to multiple
timeouts and long term unresponsiveness.

Assigning maintainership of lang/ocaml to author of this patch.
Many thanks to him for his work!

PR:			278300 [1], 278791 [2], 277818 [3], 277781 [4],
			277775 [6], 277779 [7], 277780 [8], 277782 [9]
Approved by:		michipili@gmail.com (maintainer timeout) [1],
			danfe@FreeBSD.org (maintainer timeout) [3] [4] [6],
			fixit, avoid breakage [5]
Differential Revision:	https://reviews.freebsd.org/D45254
commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533 commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533 commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533 commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533 bb2bea6
Tuesday, 26 Mar 2024
22:51 Joseph Mingrone (jrm) search for other commits by this committer
Chase editors/emacs update

- Bump Emacs version in Mk/Uses/emacs.mk to update version-specific
  paths
- Bump PORTREVISION of ports with USES=emacs.  This is required for two
  reasons.  Emacs lisp files need to be byte compiled for the new Emacs
  version, and files installed under, e.g., EMACS_VERSION_SITE_LISPDIR
  need to be relocated.

Reviewed by:	ashish
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D44492
commit hash: 26421ac37c3c013c7809400976c866a8f70db436 commit hash: 26421ac37c3c013c7809400976c866a8f70db436 commit hash: 26421ac37c3c013c7809400976c866a8f70db436 commit hash: 26421ac37c3c013c7809400976c866a8f70db436 26421ac3
Monday, 11 Mar 2024
21:50 Guido Falsi (madpilot) search for other commits by this committer Author: Benjamin Jacobs
lang/ocaml: Update to 4.14.1

The 'force-safe-string; setting is NOT enabled, as opposed to the
new upstream default. OCaml users are encouraged to migrate to safe
strings as soon as possible.

- The X11 library isn't part of lang/ocaml anymore, users should
install x11-toolkits/ocaml-graphics.
- Add new 'ocaml' USES
- Bump PORTREVISION on dependent ports, due to ABI Change.

The update includes the following updates to existing ports (needed
to keep them working):

- devel/ocaml-camlp4: Updated to 4.14+1
- devel/ocaml-camlp5: Updated to 8.02.01, homepage updated
- devel/ocaml-dune: Patch to allow overriding the stublibs directory,
  strip binary and shared libraries
- devel/ocaml-findlib: Improve port
- devel/ocaml-lwt: Fix build with OCaml 4.14
- deve/ocaml-re: Update to 1.11.0, use new dune USES
- devel/ocaml-sdl: Fix build with new ocaml
- games/freetennis: Fix build, tidy Makefile
- graphics/ocaml-images: Updated to 5.0.4, new homepage, use new
  dune USES, undeprecate
- graphics/ocaml-lablgl: Moved into site-lib, dynamic objects
  stripped, add missing GL dependencies
- math/coq: Updated to 8.19.0
- math/ocaml-zarith: strip shared libraries, fixed usage of
  USE_OCAML_LDCONFIG, use new dune USES
- math/teyjus: Fix build
- net/unison240: Fix build with new compiler
- net/unison248: Fix build with new compiler, add MAKE_JOBS_UNSAFE
- net-p2p/mldonkey: Fix build with new compiler, fix build on i386
- sysutils/ledit: Updated to 2.06, install native binary, Use github,
  fix man page installation
- www/geneweb: Build fix for OCaml and Camlp5 updates
- x11-toolkits/ocaml-lablgtk2: Fix build with new compiler
- x11-toolkits/ocaml-lablgtk3: Updated to 3.1.4, added ocaml-camlp-stream
  dependency, build fix patch
- x11-toolkits/ocaml-labltk: Updated to 8.06.12, Improve Makefile

Added the following ports:

- devel/ocaml-astring
- devel/ocaml-base
- devel/ocaml-bos
- devel/ocaml-camlp-streams
- devel/ocaml-csexp
- devel/ocaml-fmt
- devel/ocaml-fpath
- devel/ocaml-logs
- devel/ocaml-mtime
- devel/ocaml-pcre2
- devel/ocaml-rresult
- devel/ocaml-seq
- devel/ocaml-stdio
- x11-toolkits/ocaml-graphics

PR:                     250408 [1], 262781 [1], 262788 [3], 262789 [1],
			262792 [1], 263006 [1], 263162 [3], 263206 [2],
			276893 [1], 276945 [4], 276953 [1], 277026 [5],
			277241 [1], 277242 [1], 277243 [1], 277244 [1],
			277245 [1], 277246 [1], 277247 [1], 277248 [1],
			277249 [1], 277250 [1], 277251 [1], 277252 [1],
			277253 [1], 277254 [1], 277255 [1], 277256 [4],
			277257 [1], 277258 [1]
Approved by:		maintainer timeout [1],
			yuri (maintainer) [2],
			overcome by events, fixit [3],
			madpilot (maintainer) [4]
Reviewed by:		madpilot
Exp-run by:		antoine [5]
Differential Revision:	https://reviews.freebsd.org/D43861
commit hash: 8025aa10ceb960b62c9a826fb56eb1ac68ea1ce3 commit hash: 8025aa10ceb960b62c9a826fb56eb1ac68ea1ce3 commit hash: 8025aa10ceb960b62c9a826fb56eb1ac68ea1ce3 commit hash: 8025aa10ceb960b62c9a826fb56eb1ac68ea1ce3 8025aa1
Saturday, 27 Jan 2024
22:33 Joseph Mingrone (jrm) search for other commits by this committer
*/*: Chase editors/emacs update

- Bump Emacs version in Mk/Uses/emacs.mk to update version-specific
  paths

- Bump PORTREVISION of ports with USES=emacs.  This is required for two
  reasons.  Emacs lisp files need to be byte compiled for the new Emacs
  version, and files installed under, e.g., EMACS_VERSION_SITE_LISPDIR
  need to be relocated.

Reviewed by:	ashish
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D43615
commit hash: ab463bdca9c29ec22be0c7e6d7aa27bb2a980b48 commit hash: ab463bdca9c29ec22be0c7e6d7aa27bb2a980b48 commit hash: ab463bdca9c29ec22be0c7e6d7aa27bb2a980b48 commit hash: ab463bdca9c29ec22be0c7e6d7aa27bb2a980b48 ab463bd
Sunday, 20 Aug 2023
00:53 Yasuhiro Kimura (yasu) search for other commits by this committer
editors/emacs: Update to 29.1

* Update Canna patch to the one for Emacs 29.
* Add new options PGTK, SQLITE3, TREESITTER and WEBP. SQLITE3 and
  TREESITTER are ON by default. PGTK and WEBP options are excluded
  from nox flavor.
* CARGO option doesn't imply XFT but prevents it. It is caused as a
  result of adding pure GTK support (PGTK option).
* OTK options doesn't imply XTF any more. It is also caused as a
  result of adding pure GTK support.
* Update NATIVECOMP option so it specifies ahead-of-time compilation
  via the configure argument.
* Remove "experimental" from NATIVECOMP_DESC.
* Add print/freetype2 and x11-fonts/fontconfig to CAIRO_LIB_DEPENDS
  and GTK3_LIB_DEPENDS. Necessary to link emacs binary with shared
  libraries.
* When PGTK option is ON and SCROLLBARS is OFF, configure fails as
  following

  ----------------------------------------------------------------------
  checking for gnutls >= 2.12.2... yes
  checking for jansson >= 2.7... yes
  checking for tree-sitter >= 0.20.2... yes
  checking for libkqueue... no
  checking for library containing kqueue... none required
  configure: error: Non-toolkit scroll bars are not implemented for your system
  ----------------------------------------------------------------------

  So add SCROLLBARS to PGTK_IMPLIES to avoid such options setting.
* When MODULES option is OFF and TREESITTER is ON, link error happens
  as following.

  ----------------------------------------------------------------------
  cc -o temacs.tmp \
    -Demacs  -I. -I. -I../lib -I../lib   -I/usr/local/include  
-I/usr/local/include/librsvg-2.0 -I/usr/local/include/glib-2.0
-I/usr/local/lib/glib-2.0/include -I/usr/local/include
-I/usr/local/include/gdk-pixbuf-2.0 -pthread -I/usr/local/include/cairo
-I/usr/local/include/pixman-1 -I/usr/local/include/freetype2
-I/usr/local/include/libpng16 -D_THREAD_SAFE   -I/usr/local/include/libpng16 
-I/usr/local/include/libxml2   -I/usr/local/include/dbus-1.0
-I/usr/local/lib/dbus-1.0/include  -I/usr/local/include -D_THREAD_SAFE 
-I/usr/local/include -D_THREAD_SAFE  -I/usr/local/include -D_THREAD_SAFE  
-I/usr/local/include -D_THREAD_SAFE  -I/usr/local/include
-I/usr/local/include/webp   -I/usr/local/include  -I/usr/local/include
-I/usr/local/include/glib-2.0 -I/usr/local/lib/glib-2.0/include -pthread 
-I/usr/local/include -I/usr/local/include/glib-2.0
-I/usr/local/lib/glib-2.0/include  -I/usr/local/include/freetype2
-I/usr/local/include/libpng16 -I/usr/local/include  -I/usr/local/include
-I/usr/local/include/freetype2 -I/usr/local/include/libpng16 
-I/usr/local/include/harfbuzz -I/usr/local/include/freetype2
-I/usr/local/include/libpng16 -I/usr/local/include -I/usr/local/include/glib-2.0
-I/usr/local/lib/glib-2.0/include    -MMD -MF deps/.d -MP  -I/usr/local/include 
 -I/usr/local/include  -I/usr/local/include -I/usr/local/include/p11-kit-1  
-I/usr/local/include/cairo -I/usr/local/include -I/usr/local/include/glib-2.0
-I/usr/local/lib/glib-2.0/include -I/usr/local/include/pixman-1
-I/usr/local/include/freetype2 -I/usr/local/include/libpng16 -D_THREAD_SAFE     
-Wno-switch -Wno-pointer-sign -Wno-string-plus-int -Wno-unknown-attributes
-Wno-unknown-pragmas -Wno-initializer-overrides -Wno-tautological-compare
-Wno-tautological-constant-out-of-range-compare -O2 -pipe 
-fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing  -O2
-pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing 
-isystem /usr/local/include    -fstack-protector-strong -L/usr/local/lib 
-L/usr/local/lib \
      dispnew.o frame.o scroll.o xdisp.o menu.o xmenu.o window.o charset.o
coding.o category.o ccl.o character.o chartab.o bidi.o cm.o term.o terminal.o
xfaces.o xterm.o xfns.o xselect.o xrdb.o xsmfns.o xsettings.o  dbusbind.o
emacs.o keyboard.o macros.o keymap.o sysdep.o bignum.o buffer.o filelock.o
insdel.o marker.o minibuf.o fileio.o dired.o cmds.o casetab.o casefiddle.o
indent.o search.o regex-emacs.o undo.o alloc.o pdumper.o data.o doc.o editfns.o
callint.o eval.o floatfns.o fns.o sort.o font.o print.o lread.o  syntax.o 
bytecode.o comp.o  process.o gnutls.o callproc.o region-cache.o sound.o
timefns.o atimer.o doprnt.o intervals.o textprop.o composite.o xml.o lcms.o
kqueue.o  profiler.o decompress.o thread.o systhread.o sqlite.o  treesit.o
itree.o      xfont.o ftfont.o ftcrfont.o hbfont.o  fontset.o fringe.o image.o
xgselect.o json.o     terminfo.o lastfile.o      ../lib/libgnu.a     
../oldXMenu/libXMenu11.a  -ltiff -ljpeg -L/usr/local/lib -lpng16  -lgif 
-L/usr/local/lib -lwebpdemux -lwebpdecoder   -lSM -lICE -lX11   -lXrender 
-L/usr/local/lib -lrsvg-2 -lm -lgio-2.0 -lgdk_pixbuf-2.0 -lgobject-2.0
-lglib-2.0 -lintl -lcairo        -lrt -L/usr/local/lib -ldbus-1  -lexecinfo
-L/usr/local/lib -lXrandr  -L/usr/local/lib -lXinerama  -L/usr/local/lib
-lXfixes  -lXext -lXext -L/usr/local/lib -lxml2   -lutil -L/usr/local/lib
-lcairo  -lncurses  -L/usr/local/lib -lgio-2.0 -lgobject-2.0 -lglib-2.0 -lintl 
-L/usr/local/lib -lgobject-2.0 -lglib-2.0 -lintl   -L/usr/local/lib -lfreetype 
-L/usr/local/lib -lfontconfig -lfreetype  -L/usr/local/lib -lharfbuzz   
-L/usr/local/lib -lgnutls  -lpthread  -L/usr/local/lib -llcms2
-llcms2_fast_float -llcms2_threaded   -lm -lz   -L/usr/local/lib -ljansson 
-lgmp  -L/usr/local/lib -lXi   -L/usr/local/lib -ltree-sitter  -lsqlite3
-lXcomposite -lXext
  ld: error: undefined symbol: dynlib_error
  >>> referenced by treesit.c
  >>>               treesit.o:(treesit_load_language)
  >>> referenced by treesit.c
  >>>               treesit.o:(treesit_load_language)
  >>> referenced by treesit.c
  >>>               treesit.o:(treesit_load_language)
  >>> referenced 1 more times

  ld: error: undefined symbol: dynlib_sym
  >>> referenced by treesit.c
  >>>               treesit.o:(treesit_load_language)

  ld: error: undefined symbol: dynlib_open
  >>> referenced by treesit.c
  >>>               treesit.o:(treesit_load_language)
  cc: error: linker command failed with exit code 1 (use -v to see invocation)
  ----------------------------------------------------------------------

  So add MODULES to TREESITTER_IMPLIES to avoid such options setting.
  * Bump PORTREVISION of ports that use "USES=emacs".

ChangeLog:	https://git.savannah.gnu.org/cgit/emacs.git/tree/etc/NEWS?h=emacs-29.1
Reviewed by:	ashish, jrm
Differential Revision:	https://reviews.freebsd.org/D41444
commit hash: ba4eb3a50e909d902a6e031e4c3477ed369799d2 commit hash: ba4eb3a50e909d902a6e031e4c3477ed369799d2 commit hash: ba4eb3a50e909d902a6e031e4c3477ed369799d2 commit hash: ba4eb3a50e909d902a6e031e4c3477ed369799d2 ba4eb3a
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
Sunday, 23 Apr 2023
09:09 Gerald Pfeifer (gerald) search for other commits by this committer
*: Bump PORTREVISIONs for math/mpc update to 1.3.1
commit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5b commit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5b commit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5b commit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5b 8d3e020
Tuesday, 11 Apr 2023
15:43 Muhammad Moinur Rahman (bofh) search for other commits by this committer
*/tex*: Update version 20210325=>20230313

- devel/tex-kpathsea: Update version 6.3.3=>6.3.5
- print/texlive-tlmgr: Update version 20210325=>20230313
  * Add LICENSE GPLv2
- devel/tex-libtexlua: Update distinfo from 20230313 dists
- devel/tex-libtexluajit: Update distinfo from 20230313 dists
- print/tex-ptexenc: Update version 1.3.9=>1.4.3
  * Pet portclippy
- devel/tex-web2c: Update version 20210325=>20230313
- devel/tex-synctex: Update distinfo from 20230313 dists
- print/tex-basic-engines: Update version 20210325=>20230313
- print/texlive-base: Update version 20210325=>20230313
- print/texlive-docs: Update version 20210325=>20230313
- print/texlive-full: Update version 20210325=>20230313
- print/texlive-texmf: Update version 20210325=>20230313
- print/texlive-texmf-source: Update version 20210325=>20230313
- print/latex-biber: Update version 2.16=>2.19
- print/tex-dvipdfmax: Update version 20210325=>20230313
- print/tex-dvipsk: Update version 2021.1=>2023.1
- print/tex-formats: Update version 20210325=>20230313
- print/tex-jadetex: Update distinfo from 20230313 dists
- print/tex-luatex: Update version 1.12.0=>1.16.0
- print/tex-xetex: Update distinfo from 20230313 dists
- print/tex-xmltex: Update distinfo from 20230313 dists
- japanese/tex-ptex: Fix build
  * Remove ConTeXt format
- textproc/foiltex: Update MASTER_SITES
  * Adopt port
- There are multiple ports which uses the macro USE_TEX=texmf that is
  downloading a big DISTFILE. Unfortunately it is not possible for me to
  test all the consumers in runtime. So in the following ports I have
  removed USE_TEX=texmf so that someone who uses those can report the
  runtime files those are missing. If possible(based on LICENSE
  permission) I will try to create a smaller distfile out of the
  texlive-20230313-texmf and change dependency accordingly otherwise
  will reinstate USE_TEX=texmf. The list of ports that are affected are
  following:
  * arabic/arabtex
  * graphics/epix
  * math/cadabra2
  * math/coq
  * math/gnuplot-tex-extras
  * net-mgmt/netmagis-www
  * print/dvisvg
  * print/lilypond
  * print/mftrace
  * print/tex-xdvik
  * print/latex-beamer

Sponsored by:	Nepustil
commit hash: 24e24a19568e8038e3926d7050e1a6052a8b0df5 commit hash: 24e24a19568e8038e3926d7050e1a6052a8b0df5 commit hash: 24e24a19568e8038e3926d7050e1a6052a8b0df5 commit hash: 24e24a19568e8038e3926d7050e1a6052a8b0df5 24e24a1
Thursday, 2 Mar 2023
05:23 Tobias C. Berner (tcberner) search for other commits by this committer
accessibility/at-spi2-core: update to 2.46.0

What's new in at-spi2-core 2.46.0:
* Fix GetInterfaces documentation on org.a11y.atspi.Accessible
  interface.

What's new in at-spi2-core 2.45.91:
* Send device event controller events using the same signature as other
  events.
* Document the Accessible, Action, and Cache dbus interfaces.
* Fix license of atspi-gmain.c (#87).

What's new in at-spi2-core 2.45.90:
* xml: Add some documentation.
* xml: Fix event arguments.
* xml: Add some missing DeviceEventController methods.
* Bind the AT-SPI bus to the graphical session.
* Mark bus service as belonging to the session slice.
* Add ATSPI_ROLE_PUSH_BUTTON_MENU.
* Add an "announcement" event/signal to allow objects to send
  notifications (!63).
* Various code clean-ups and test improvements.

What's new in at-spi2-core 2.45.1:
* Atk and at-spi2-atk are now merged into this project.
* Now requires meson 0.56.2 and glib 2.67.4.
* at-spi2-atk: Expose the accessible hierarchy via dbus introspection.
* Properly escape the AT-SPI bus address; fixes warnings about the address
  not containing a colon (!55).
* Add a text value to AtspiValue, so that a value can expose a textual
  description, as in the new Atk value API.
* Add atspi_event_listener_register_with_app, to allow an event listener
  to be registered only for a given application (!52).

- accessibility/atk and accessibility/at-spi2-atk have been merged into
  accessibility/at-spi2-core

- accessibility/at-spi2-core: bump consumers of removed ports atk and
at-spi2-atk

PR:		269704
Exp-run by:	antoine
---
commit hash: fa81a4f5f8ed2bc2104eca4ebbb1b69731bae2e8 commit hash: fa81a4f5f8ed2bc2104eca4ebbb1b69731bae2e8 commit hash: fa81a4f5f8ed2bc2104eca4ebbb1b69731bae2e8 commit hash: fa81a4f5f8ed2bc2104eca4ebbb1b69731bae2e8 fa81a4f
Monday, 19 Dec 2022
14:44 Muhammad Moinur Rahman (bofh) search for other commits by this committer
Mk/**tex.mk: Convert bsd.tex.mk to USES=tex

- Update all the consumers to use USES=tex
- USE_TEX=yes is the old way of writing USES=tex which has been removed
  and replaced in all ports
- Almost all of the USE_TEX features remains unchanged
- Some consumers had the same variables defined both in the mk
  infrastructure and also in the ports which have been removed from the
  ports as those are redundant.

In case any of the consumers are failing to build please make sure that
the nexessary USES=tex is there. Unlike previous USE_TEX=yes will no
longer load the required VARS for tex and related dependencies.

Reviewed by:	portmgr
Approved by:	portmgr (blanket)
commit hash: 721e5776c957ada07a0d148f5fc3e782a251e6dc commit hash: 721e5776c957ada07a0d148f5fc3e782a251e6dc commit hash: 721e5776c957ada07a0d148f5fc3e782a251e6dc commit hash: 721e5776c957ada07a0d148f5fc3e782a251e6dc 721e577
Wednesday, 30 Nov 2022
07:06 Yasuhiro Kimura (yasu) search for other commits by this committer
editors/emacs-devel: Update to 2022-11-28 snapshot

Bump PORTREVISION of consumers as EMACS_VER is changed to 30.0.50.

Changes:	https://github.com/emacs-mirror/emacs/compare/51589f81...7939184f
commit hash: ea66012756af463a7153c6ecf84bf9fd31c75dd1 commit hash: ea66012756af463a7153c6ecf84bf9fd31c75dd1 commit hash: ea66012756af463a7153c6ecf84bf9fd31c75dd1 commit hash: ea66012756af463a7153c6ecf84bf9fd31c75dd1 ea66012
Wednesday, 21 Sep 2022
07:48 Yasuhiro Kimura (yasu) search for other commits by this committer
editors/emacs: Update to 28.2

* Remove FCITXPATCH option as extra-patch-src_xfns.c can't be applied
  since 28.1.
* Tidy up Makefile with portfmt.
* Bump PORTREVISION of consumers.

ChangeLog:	https://www.gnu.org/software/emacs/news/NEWS.28.2

PR:		266454
Exp-run by:	antoine
Reviewed by:	ashish, jrm
Differential Revision:	https://reviews.freebsd.org/D36613
commit hash: 164249e86734bd23f17182913f13a3a3f346a3ca commit hash: 164249e86734bd23f17182913f13a3a3f346a3ca commit hash: 164249e86734bd23f17182913f13a3a3f346a3ca commit hash: 164249e86734bd23f17182913f13a3a3f346a3ca 164249e
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
Monday, 9 May 2022
11:05 Alexey Dokuchaev (danfe) search for other commits by this committer
math/coq: add missing run-time dependency on `math/ocaml-num'

This was missed in commit 317aa0442c99 when Num library was split
off the core OCaml distribution.

PR:	263860
commit hash: 1da2c6c114ec1c5d279f42eb55287f3c60a5546c commit hash: 1da2c6c114ec1c5d279f42eb55287f3c60a5546c commit hash: 1da2c6c114ec1c5d279f42eb55287f3c60a5546c commit hash: 1da2c6c114ec1c5d279f42eb55287f3c60a5546c 1da2c6c
Wednesday, 27 Apr 2022
13:22 Piotr Kubaj (pkubaj) search for other commits by this committer
math/coq: enable on powerpc
commit hash: 0ecc15247433c78aaa70e1050991213742087a42 commit hash: 0ecc15247433c78aaa70e1050991213742087a42 commit hash: 0ecc15247433c78aaa70e1050991213742087a42 commit hash: 0ecc15247433c78aaa70e1050991213742087a42 0ecc152
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
Sunday, 10 Apr 2022
19:11 Charlie Li (vishwin) search for other commits by this committer
textproc/libxml2: bump all LIB_DEPENDS consumers

This is a separate commit to facilitate easier cherry-picking for
quarterly.

PR: 262853, 262940, 262877, 263126
Approved by: fluffy (mentor)
commit hash: d63665f7cd9c99880704a3c5bc221829cb009744 commit hash: d63665f7cd9c99880704a3c5bc221829cb009744 commit hash: d63665f7cd9c99880704a3c5bc221829cb009744 commit hash: d63665f7cd9c99880704a3c5bc221829cb009744 d63665f
18:27 Alexey Dokuchaev (danfe) search for other commits by this committer
math/coq: force unsafe strings to unbreak against modern OCaml.
commit hash: 4c90e1b3af44ccf4d88df788767754e27c80366b commit hash: 4c90e1b3af44ccf4d88df788767754e27c80366b commit hash: 4c90e1b3af44ccf4d88df788767754e27c80366b commit hash: 4c90e1b3af44ccf4d88df788767754e27c80366b 4c90e1b
Thursday, 7 Apr 2022
22:12 Joseph Mingrone (jrm) search for other commits by this committer
Emacs ports: Bump PORTREVISION after Emacs 28.1

Reviewed by:	ashish
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D34781
commit hash: d9dcd9c6879d10fa6b229f2af549a99a51a934f8 commit hash: d9dcd9c6879d10fa6b229f2af549a99a51a934f8 commit hash: d9dcd9c6879d10fa6b229f2af549a99a51a934f8 commit hash: d9dcd9c6879d10fa6b229f2af549a99a51a934f8 d9dcd9c
Saturday, 26 Mar 2022
08:27 Matthias Fechner (mfechner) search for other commits by this committer
textproc/libxml2: bump all dependencies

This should make sure that all dependent ports will pick
up the new version commited with a13ec21cd733f67a9fc0dc00ab45268bdc236246
commit hash: 247c7db7513f1264922428278678da641c5a3f52 commit hash: 247c7db7513f1264922428278678da641c5a3f52 commit hash: 247c7db7513f1264922428278678da641c5a3f52 commit hash: 247c7db7513f1264922428278678da641c5a3f52 247c7db
Monday, 10 Jan 2022
15:15 Stefan Eßer (se) search for other commits by this committer
Fix CONFLICTS entries of multiple ports

There have been lots of missing CONFLICTS_INSTALL entries, either
because conflicting ports were added without updating existing ports,
due to name changes of generated packages, due to mis-understanding
the format and semantics of the conflicts entries, or just due to
typoes in package names.

This patch is the result of a comparison of all files contained in
the official packages with each other. This comparison was based on
packages built with default options and may therefore have missed
further conflicts with optionally installed files.

Where possible, version numbers in conflicts entries have been
generalized, some times taking advantage of the fact that a port
cannot conflict with itself (due to logic in bsd.port.mk that
supresses the pattern match result in that case).

A few ports that set the conflicts variables depending on complex
conditions (e.g. port options), have been left unmodified, despite
probably containing outdated package names.

These changes should only affect the installation of locally built
ports, not the package building with poudriere. They should give an
early indication of the install conflict in cases where currently
the pkg command aborts an installation when it detects that an
existing file would be overwritten,

Approved by:	portmgr (implicit)
commit hash: bcaf25a8c8046b094f6b5ab5bc258333bc326ee1 commit hash: bcaf25a8c8046b094f6b5ab5bc258333bc326ee1 commit hash: bcaf25a8c8046b094f6b5ab5bc258333bc326ee1 commit hash: bcaf25a8c8046b094f6b5ab5bc258333bc326ee1 bcaf25a
Monday, 15 Nov 2021
15:19 Joseph Mingrone (jrm) search for other commits by this committer
USES=emacs: Chase package name changes

PR:		259259
Differential Revision:	https://reviews.freebsd.org/D32613
commit hash: 061afcca16999e2e4e791d4517a918d0d606d692 commit hash: 061afcca16999e2e4e791d4517a918d0d606d692 commit hash: 061afcca16999e2e4e791d4517a918d0d606d692 commit hash: 061afcca16999e2e4e791d4517a918d0d606d692 061afcc
Friday, 1 Oct 2021
22:55 Joseph Mingrone (jrm) search for other commits by this committer
*: Chase new major version (29) of editors/emacs-devel

Differential Revision:	https://reviews.freebsd.org/D32258
commit hash: 126e3bb1f15157e4624a26aed1d01393603b03e0 commit hash: 126e3bb1f15157e4624a26aed1d01393603b03e0 commit hash: 126e3bb1f15157e4624a26aed1d01393603b03e0 commit hash: 126e3bb1f15157e4624a26aed1d01393603b03e0 126e3bb
Wednesday, 7 Apr 2021
08:09 Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c cf118cc
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
Friday, 26 Mar 2021
00:40 jrm search for other commits by this committer
editors/emacs: Update to 27.2

This is a bug-fix release with no new features.

https://www.gnu.org/software/emacs/news/NEWS.27.2

Reviewed by:	ashish
Differential Revision:	https://reviews.freebsd.org/D27700
Original commitRevision:569232 
Wednesday, 12 Aug 2020
18:30 jrm search for other commits by this committer
editors/emacs: Update to version 27.1

Please refer to the 20200811 UPDATING entry when upgrading
dependent (*-emacs26-*) ports.

Port changes:

- depend on math/gmp
- match upstream by turning CAIRO, HARFBUZZ, and JSON options and on and
  turning MAGICK off by default
- remove OPENMP check for graphics/ImageMagick as the openmp is now
  included in base
- update EMACS_VER in Mk/Uses/emacs.mk
- bump USES=emacs ports or remove BROKEN for net-im/jabber.el and
  deskutils/howm, which now build

Submitted by:	HIROSE Yuuji <yuuji@gentei.org> (canna patch)
Reviewed by:	ashish
Differential Revision:	https://reviews.freebsd.org/D23966
Original commitRevision:544763 
Tuesday, 7 Jan 2020
04:55 jrm search for other commits by this committer
editors/emacs-devel: Update to latest master branch commit, 4f2b415

This update includes an Emacs major version change from 27.0.50 to 28.0.50.
Ports that may depend on editors/emacs-devel must chase this update
with a PORTREVISION bump.

Submitted by:	ashish (maintainer)
Differential Revision:	https://reviews.freebsd.org/D23012
Original commitRevision:522315 
Friday, 8 Nov 2019
14:11 tobik search for other commits by this committer
math: Add missing USES={gl,gnome,php,sdl,xorg}
Original commitRevision:517068 
Thursday, 31 May 2018
01:18 jrm search for other commits by this committer
USES=emacs ports: Bump PORTREVISION for editors/emacs 26.1 upgrade

Or, mark ports that fail to build as BROKEN.
https://lists.freebsd.org/pipermail/freebsd-ports/2018-May/113518.html
Original commitRevision:471191 
Thursday, 1 Feb 2018
18:03 jrm search for other commits by this committer
Flavorize and modernize Emacs ports

- Convert USE_EMACS to USES=emacs
- Remove editors/emacs-nox11 (refer to nox flavors of editors/emacs and
  editors/emacs-devel)
- Permit default Emacs flavor to be specified in make.conf
- Rename japanese/migemo-emacs23 to japanese/migemo-emacs
- Update and simplify audio/emms and fix build on FreeBSD 10 [1]
- Update databases/bbdd and fix build on FreeBSD 10 [1]
- Update editors/emacs-devel
- Ensure Makefile shell commands that change directory are executed in a
  subshell
- Silence some portlint warnings

[1] By not depending on base texinfo

PR:		225404
Reviewed by:	antoine
Approved by:	portmgr (mat) ashish (maintainer)
Differential Revision:	https://reviews.freebsd.org/D13506
Original commitRevision:460621 
Thursday, 30 Nov 2017
06:13 linimon search for other commits by this committer
For ports that are marked BROKEN on armv6, and also fail to build on
armv7, mark them so.

This is part two of a multipart commit to bring armv7 ports to parity
with armv6.

Approved by:	portmgr (tier-2 blanket)
Obtained from:	lonesome.com -exp run
Original commitRevision:455167 
Tuesday, 12 Sep 2017
15:38 ashish search for other commits by this committer
Chase Emacs update
Original commitRevision:449697 
Saturday, 27 May 2017
00:20 linimon search for other commits by this committer
Mark some ports failing on armv6, for errors classified as "???",
part 2.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
Original commitRevision:441819 
Saturday, 31 Dec 2016
23:05 hrs search for other commits by this committer
Update to 8.6.  Fix PORTEPOCH accidentally removed in the previous commit.
Original commitRevision:430173 
14:32 hrs search for other commits by this committer
Update to 8.5.
Original commitRevision:430124 
09:00 hrs search for other commits by this committer
- Add missing dependencies.
- Strip installed binaries.
Original commitRevision:430096 
Wednesday, 14 Dec 2016
21:48 johans search for other commits by this committer
Stepping down as maintainer for some ports.
Original commitRevision:428596 
Saturday, 19 Nov 2016
11:39 danfe search for other commits by this committer
- Move license information from port description into LICENSE knobs
- Convert $arch-conditional BROKEN statement into BROKEN_$arch one
Original commitRevision:426358 
Monday, 23 May 2016
20:35 amdmi3 search for other commits by this committer
Remove NLS, DOCS, EXAMPLES and IPV6 from OPTIONS_DEFAULT, they are enabled by
default anyway and don't need to be listed

Approved by:	portmgr blanket
Original commitRevision:415742 
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 
Saturday, 23 May 2015
10:06 johans search for other commits by this committer
Update Coq to 8.4pl6

PR:		200409
Submitted by:	yuri@rawbw.com
Original commitRevision:387123 
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 
Monday, 22 Dec 2014
10:45 johans search for other commits by this committer
Update to Coq 8.4pl5
Original commitRevision:375227 
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, 3 Sep 2014
16:54 antoine search for other commits by this committer
Fix packaging
Original commitRevision:367220 
Wednesday, 23 Jul 2014
13:04 bapt search for other commits by this committer
Switch to texlive
Original commitRevision:362673 
Tuesday, 1 Jul 2014
07:04 eadler search for other commits by this committer
multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-pattern
	The ports infrastructure may insert additional content into the
	BUILD_DEPENDS variable which is not supposed to be a run depend.

Approved by:	portmgr (bapt)
Original commitRevision:359963 
Saturday, 11 Jan 2014
09:31 johans search for other commits by this committer
- Update coq to 8.4.3
- Enable stage support
- Simplify options handling
Original commitRevision:339411 
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 
Thursday, 13 Jun 2013
10:57 johans search for other commits by this committer
- Add build dependency due to tex changes

PR:		ports/179372
Submitted by:	John Marino <draco@marino.st>
Original commitRevision:320753 
Saturday, 11 May 2013
17:58 hrs search for other commits by this committer
Rectify USE_TEX to support both of teTeX and TeXLive.

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.
Original commitRevision:317899 
Monday, 6 May 2013
02:00 hrs search for other commits by this committer
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier.
Original commitRevision:317455 
Tuesday, 30 Apr 2013
14:50 johans search for other commits by this committer
Update coq to 8.4.2
Original commitRevision:316937 
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 
Sunday, 17 Feb 2013
10:43 johans search for other commits by this committer
- Update coq to 8.4 pl1 [1]
  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>
Original commitRevision:312410 
Thursday, 28 Jun 2012
16:12 johans search for other commits by this committer
Convert to new options framework
Original commit
Friday, 1 Jun 2012
05:26 dinoex search for other commits by this committer
- update png to 1.5.10
Original commit
Sunday, 25 Mar 2012
09:21 johans search for other commits by this committer
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag

Feature safe:   yes
Original commit
Wednesday, 14 Mar 2012
20:11 pav search for other commits by this committer
- Mark BROKEN: does not compile
  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
Original commit
Friday, 11 Nov 2011
02:53 linimon search for other commits by this committer
Mark as broken on powerpc: fails to link.

Hat:            portmgr
Feature safe:   yes
Original commit
Monday, 2 May 2011
12:44 makc search for other commits by this committer
Bump PORTREVISION after open-mofit update
Original commit
Monday, 25 Apr 2011
17:48 johans search for other commits by this committer
Update coq to 8.3.2
Original commit
Monday, 18 Apr 2011
17:19 johans search for other commits by this committer
Correct PORTVERSION: pl (patch level) releases follow a main release

Reported by:            erwin
Original commit
Saturday, 12 Feb 2011
12:30 johans search for other commits by this committer
- Update coq to 8.3pl1
- Remove obsoleted patch (fixed in dist)
Original commit
Friday, 10 Dec 2010
17:23 johans search for other commits by this committer
Fix build with new ocaml preprocessor (patch from upstream)

Reported by:    pointyhat via pav
Original commit
Tuesday, 9 Nov 2010
07:09 johans search for other commits by this committer
- Update coq to 8.3
- Add a patch to fix threading issues

Submitted by:   AUGER Cedric <Cedric.Auger@lri.fr>
Original commit
Friday, 25 Jun 2010
06:53 johans search for other commits by this committer
- Update to version 8.2pl1
- 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
Original commit
Sunday, 28 Mar 2010
06:47 dinoex search for other commits by this committer
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
Original commit
Tuesday, 23 Feb 2010
18:06 johans search for other commits by this committer
Update my mail address to @FreeBSD.org

Feature safe:   yes
Original commit
Friday, 5 Feb 2010
11:46 dinoex search for other commits by this committer
- update to jpeg-8
Original commit
Friday, 31 Jul 2009
13:57 dinoex search for other commits by this committer
- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by:   edwin
Original commit
Monday, 16 Mar 2009
07:38 johans search for other commits by this committer
Update to 8.2.1
Original commit
Friday, 6 Jun 2008
13:44 edwin search for other commits by this committer
Bump portrevision due to upgrade of devel/gettext.

The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)
Original commit
Wednesday, 16 Apr 2008
22:10 johans search for other commits by this committer
- Due to depency updates, camlp5 (fresh port) is now required as well:
  Include this dependency and bump portrevision
Original commit
Sunday, 6 Apr 2008
17:40 johans search for other commits by this committer
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
Original commit
Monday, 30 Jul 2007
07:36 johans search for other commits by this committer
Update to 8.1.1  (bugfix release)
Original commit
Saturday, 19 May 2007
20:32 flz search for other commits by this committer
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
Original commit
Sunday, 25 Mar 2007
18:44 johans search for other commits by this committer
- Update to 8.1
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore
Original commit
Thursday, 16 Mar 2006
15:31 pav search for other commits by this committer
- Update to 8.0pl3

PR:             ports/93954
Submitted by:   Johan van Selst <johans@stack.nl>
Original commit
Monday, 6 Mar 2006
20:30 kris search for other commits by this committer
BROKEN: Does not build

Approved by:    portmgr (implicit)
Original commit
Wednesday, 7 Dec 2005
15:59 vs search for other commits by this committer
Unbreak: Add vendor-patch for ocaml 3.09
Original commit
Monday, 5 Dec 2005
09:49 vs search for other commits by this committer
Bump PORTREVISION to regenerate the package with the newly enabled IDE on the
cluster

Suggested by: kris
Original commit
09:16 vs search for other commits by this committer
Enable IDE by default.
Original commit
Saturday, 29 Oct 2005
20:14 mnag search for other commits by this committer
Drop MAINTAINER

PR:             88197
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
Original commit
Wednesday, 2 Feb 2005
11:34 vs search for other commits by this committer
Update to 8.0p2

PR:             ports/76977
Submitted by:   Rene Laden (maintainer)
Original commit
Tuesday, 18 Jan 2005
16:44 vs search for other commits by this committer
Fix packaging

PR:             ports/75787
Submitted by:   maintainer
Original commit
Monday, 20 Dec 2004
21:37 sem search for other commits by this committer
- Unbreak on amd64
  (Johan van Selst succesfully ran the test-suite
  on an amd64 running 6-CURRENT and ocaml-3.08.2)

PR:             ports/75334
Submitted by:   maintainer
Original commit
Monday, 29 Nov 2004
09:34 tobez search for other commits by this committer
Mark broken on ia64 and amd64.

PR:             74502
Submitted by:   maintainer
Original commit
Monday, 8 Nov 2004
21:57 pav search for other commits by this committer
- Add optional CoqIde support (depends on lablgtk2)
- Correct PORTVERSION to match actual source version
- Cosmetics

PR:             ports/73634
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
Original commit
Saturday, 16 Oct 2004
00:55 pav search for other commits by this committer
Add coq, a formal proof management system: a proof done with Coq is
mechanically checked by the machine.

In particular, Coq allows:
* the definition of functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a small certification "kernel".

PR:             ports/72718
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl>
Original commit

Number of commits found: 91