mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-30 01:15:52 +00:00
a51ab73eab
- Grab maintainership - Remove FreeBSD-specific workaround that shouldn't be needed anymore
4 lines
179 B
Plaintext
4 lines
179 B
Plaintext
MD5 (coq-8.1.tar.gz) = 33668f73d30fda58c92b0a9f5b0b8329
|
|
SHA256 (coq-8.1.tar.gz) = b8362e532ad8e464b5bf5bdce45c4cef5109fd0957f396373af7e1ab023e9ae4
|
|
SIZE (coq-8.1.tar.gz) = 2977142
|