freebsd-ports/math/proofgeneral/distinfo at 9b5082f0cfb852feb8152c790a216bef15e3d2f5 - kpriv/freebsd-ports - Disroot Forgejo: Brace yourself, merge conflicts ahead.

kpriv/freebsd-ports

Michael Scheidell 77a5fc6b3f - Update to 4.1

- Fix build on amd64
- XEmacs is no longer supported by proofgeneral developers, so only GNU Emacs may be used
- Omit pdf compilation since a newer version of latex then is in ports is needed
- Use PORTDOCS= macros to simplefy Makefile and pkg-plist

PR:		ports/166867
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer0

2012-04-19 22:38:31 +00:00

2 lines

135 B

Text

Raw Blame History

	`SHA256 (ProofGeneral-4.1.tgz) = 2a264d46b48185cf1a6ebcca958e59171ea670fb0fc82ba46b8e1d6918ea7dc7`
	`SIZE (ProofGeneral-4.1.tgz) = 1428499`