author | DPorts Builder <nobody@home.ok> | |
Sun, 23 Jun 2019 13:00:02 +0000 (06:00 -0700) | ||
committer | DPorts Builder <nobody@home.ok> | |
Sun, 23 Jun 2019 13:00:02 +0000 (06:00 -0700) | ||
commit | ffcc342c7e8992a3fe50b1cf2369b41754e107fc | |
tree | 71e136044a0d9b8a0373e3959f2830ff6823f811 | tree | snapshot |
parent | e55ae292062a216cb822449e840aa9b5fe9bcbec | commit | diff |
math/hs-Agda/Makefile | [new file with mode: 0644] | blob |
math/hs-Agda/Makefile.DragonFly | [new file with mode: 0644] | blob |
math/hs-Agda/distinfo | [new file with mode: 0644] | blob |
math/hs-Agda/pkg-descr | [new file with mode: 0644] | blob |
math/hs-Agda/pkg-plist | [new file with mode: 0644] | blob |