From e7f37e03b952768321c8c943a80eff4152ea7bbd Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Mon, 22 Aug 2022 02:42:13 +0100
Subject: gentoo auto-resync : 22:08:2022 - 02:42:13

---
 sci-mathematics/agda-stdlib/metadata.xml | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 sci-mathematics/agda-stdlib/metadata.xml

(limited to 'sci-mathematics/agda-stdlib/metadata.xml')

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>
-- 
cgit v1.2.3