sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-05-07 03:16:44 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
ports/math/coq
History
Joseph Mingrone b946d410cc
Chase major version update of editors/emacs-devel 
Bump PORTREVISION of most USES=emacs ports after editors/emacs-devel
major version increased from 30 to 31.

Sponsored by:	The FreeBSD Foundation
2024-07-04 18:31:24 -03:00
..
distinfo lang/ocaml: Update to 4.14.1 2024-03-11 22:50:58 +01:00
Makefile Chase major version update of editors/emacs-devel 2024-07-04 18:31:24 -03:00
pkg-descr
pkg-plist lang/ocaml: Update to 4.14.1 2024-03-11 22:50:58 +01:00