annotate ZF.agda-pkg @ 632:1b57a07d7604
Added tag release for changeset 1150b006059b
author |
Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
date |
Mon, 20 Jun 2022 18:47:37 +0900 |
parents |
a5f8084b8368 |
children |
|
rev |
line source |
431
|
1 # File generated by Agda-Pkg
|
|
2 name: ZF
|
|
3 version: v0.0.1
|
|
4
|
|
5
|
|
6 homepage: https://ie.u-ryukyu.ac.jp/~kono
|
|
7 license: MIT
|
|
8 license-file: LICENSE.md
|
|
9 source-repository: https://github.com/shinji-kono/zf-in-agda
|
|
10 tested-with: 2.6.2-102d9c8
|
|
11 description: ZF is an Agda library ...
|
|
12
|
|
13 # End
|