7be5704e9a
using dpb, sthen@ discovered that having latex around at config time but not at build time will cause the coq build to fail because latex is not listed as a BDEP. Fix this as well.
3 lines
109 B
Plaintext
3 lines
109 B
Plaintext
SHA256 (coq-8.4pl5.tar.gz) = NYFat4pY1yeZ6sqrFVQnYgqwcWd4gspsmNe/7JfSUkU=
|
|
SIZE (coq-8.4pl5.tar.gz) = 4070062
|