freebsd-ports/math/coq/distinfo at 362875ec54a8f02c9c9516de6f8838cda40a58fd - kpriv/freebsd-ports - Disroot Forgejo: Brace yourself, merge conflicts ahead.

kpriv/freebsd-ports

Johan van Selst df999ac7da - 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>

2013-02-17 10:43:22 +00:00

2 lines

129 B

Text

Raw Blame History

	`SHA256 (coq-8.4pl1.tar.gz) = 5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80`
	`SIZE (coq-8.4pl1.tar.gz) = 4139808`