diff options
| author | Andrey Korobkov <alster@vinterdalen.se> | 2024-03-16 11:58:09 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2024-03-16 11:58:29 +0000 |
| commit | d9edbdde5ddc9d4a517d7b61def652172f96cea9 (patch) | |
| tree | 88e90f87d23405cb65cac48bad891afa0ea3a133 /math/ocaml-num | |
| parent | 6df9b5d51843a85bb6ecd0b7ad43ca68e24d15fd (diff) | |
| download | ports-d9edbdde5ddc9d4a517d7b61def652172f96cea9.tar.gz ports-d9edbdde5ddc9d4a517d7b61def652172f96cea9.zip | |
math/hs-Agda: Fix LICENSE
PR: 277730
Diffstat (limited to 'math/ocaml-num')
0 files changed, 0 insertions, 0 deletions