diff options
Diffstat (limited to 'dev-ml/diet/metadata.xml')
| -rw-r--r-- | dev-ml/diet/metadata.xml | 23 |
1 files changed, 16 insertions, 7 deletions
diff --git a/dev-ml/diet/metadata.xml b/dev-ml/diet/metadata.xml index 836835d2f..360ef5b05 100644 --- a/dev-ml/diet/metadata.xml +++ b/dev-ml/diet/metadata.xml @@ -1,11 +1,20 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>lssndrbarbieri@gmail.com</email> - <name>Alessandro Barbieri</name> - </maintainer> - <upstream> - <remote-id type="github">mirage/ocaml-diet</remote-id> - </upstream> + <maintainer type="person"> + <email>lssndrbarbieri@gmail.com</email> + <name>Alessandro Barbieri</name> + </maintainer> + <longdescription lang="en">This data structure is based on the +[Functional Pearls: Diets for Fat Sets](https://web.engr.oregonstate.edu/~erwig/papers/Diet_JFP98.pdf) +by Martin Erwig.</longdescription> + <upstream> + <doc>https://mirage.github.io/ocaml-diet/</doc> + <bugs-to>https://github.com/mirage/ocaml-diet/issues</bugs-to> + <remote-id type="github">mirage/ocaml-diet</remote-id> + <maintainer> + <name>David Scott</name> + <email>dave@recoil.org</email> + </maintainer> + </upstream> </pkgmetadata> |