projects / dports.git / commit
| author | DPorts Builder <nobody@home.ok> | |
| Wed, 27 May 2020 18:00:05 +0000 (11:00 -0700) | ||
| committer | DPorts Builder <nobody@home.ok> | |
| Wed, 27 May 2020 18:00:05 +0000 (11:00 -0700) | ||
| commit | 5f28a19f0c8391edcbc411acbe5dacf1d0ef31ca | |
| tree | 6ea43a5b119c8b9c24bc29ef0a925b8cab145c18 | tree | snapshot |
| parent | 6c51c871b6fc811aa18591c810123d63c72eae14 | commit | diff |
| math/hs-Agda/Makefile | diff | blob | blame | history | |
| math/hs-Agda/distinfo | diff | blob | blame | history | |
| math/hs-Agda/pkg-plist | diff | blob | blame | history |