diff options
| author | awoonya <mzhyneva@gmail.com> | 2024-02-05 19:27:28 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2024-02-08 20:07:24 +0000 |
| commit | f59e1f7db55878af128e28b90b38736e6e570107 (patch) | |
| tree | a1fb5152ce3c32aa05ecf228721ca55bd61f0914 /comms/xastir | |
| parent | 49f10e38b2679f68cd6964b97a7c6c73806abd2d (diff) | |
| download | ports-f59e1f7db55878af128e28b90b38736e6e570107.tar.gz ports-f59e1f7db55878af128e28b90b38736e6e570107.zip | |
math/hs-Agda: update to 2.6.4.1
Diffstat (limited to 'comms/xastir')
0 files changed, 0 insertions, 0 deletions