freebsd-ports/math/isabelle at 48774c83a7fca862ff8816b8e3ea831081e878ef - kpriv/freebsd-ports - Disroot Forgejo: Brace yourself, merge conflicts ahead.

kpriv/freebsd-ports

History

Sergey Matveychuk b445a12fa5 - Update to 2005 PR: ports/94671 Submitted by: maintainer		2006-05-01 18:01:58 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-install
pkg-plist