diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-08-22 02:42:13 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-08-22 02:42:13 +0100 |
commit | e7f37e03b952768321c8c943a80eff4152ea7bbd (patch) | |
tree | 355a9efb62297418cdadbc424b09dbafc54257e5 /sci-mathematics/agda-stdlib/metadata.xml | |
parent | 2518522472e5de9c52c78dc0246475fe0ae3cc05 (diff) |
gentoo auto-resync : 22:08:2022 - 02:42:13
Diffstat (limited to 'sci-mathematics/agda-stdlib/metadata.xml')
-rw-r--r-- | sci-mathematics/agda-stdlib/metadata.xml | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/sci-mathematics/agda-stdlib/metadata.xml b/sci-mathematics/agda-stdlib/metadata.xml deleted file mode 100644 index 49686165f8d9..000000000000 --- a/sci-mathematics/agda-stdlib/metadata.xml +++ /dev/null @@ -1,15 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="project"> - <email>sci-mathematics@gentoo.org</email> - <name>Gentoo Mathematics Project</name> - </maintainer> -<maintainer type="project"> - <email>haskell@gentoo.org</email> - <name>Gentoo Haskell</name> - </maintainer> - <upstream> - <remote-id type="github">agda/agda-stdlib</remote-id> - </upstream> -</pkgmetadata> |