mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-25 00:51:21 +00:00
9ea2254ebc
compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources. WWW: http://wiki.portal.chalmers.se/agda/ PR: ports/142141 Submitted by: Jacula Modyun <jacula(at)gmail.com>
4 lines
218 B
Plaintext
4 lines
218 B
Plaintext
MD5 (Agda-executable-2.2.6.tar.gz) = 0e60eb052789b0be11525717273c19a8
|
|
SHA256 (Agda-executable-2.2.6.tar.gz) = b036404796bd94b0cf069b3aa9c56c39889846f31f2a59cb5a62f4b4d42f5f86
|
|
SIZE (Agda-executable-2.2.6.tar.gz) = 1596
|