diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2021-01-31 00:46:39 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2021-01-31 01:06:29 +0100 |
| commit | 4366c349561aa0de2746ac44ecda5260028f635d (patch) | |
| tree | cc7cf9d274a9cdea7c10cad843ac4b4b3fc2743a /dev-ada/gnatcoll-db/files | |
| parent | sys-cluster/ganglia: Remove old (diff) | |
| download | gentoo-4366c349561aa0de2746ac44ecda5260028f635d.tar.gz gentoo-4366c349561aa0de2746ac44ecda5260028f635d.tar.bz2 gentoo-4366c349561aa0de2746ac44ecda5260028f635d.zip | |
dev-ada/gnatcoll-db: Remove last-rited pkg
Closes: https://bugs.gentoo.org/735262
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-ada/gnatcoll-db/files')
| -rw-r--r-- | dev-ada/gnatcoll-db/files/gnatcoll-db-2018-gentoo.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dev-ada/gnatcoll-db/files/gnatcoll-db-2018-gentoo.patch b/dev-ada/gnatcoll-db/files/gnatcoll-db-2018-gentoo.patch deleted file mode 100644 index 9d95a9bfc1c4..000000000000 --- a/dev-ada/gnatcoll-db/files/gnatcoll-db-2018-gentoo.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/sqlite/gnatcoll_sqlite.gpr 2018-06-24 14:08:52.477478654 +0200 -+++ b/sqlite/gnatcoll_sqlite.gpr 2018-06-24 14:08:59.149372684 +0200 -@@ -42,7 +42,7 @@ - for Library_Name use Name; - for Library_Version use "lib" & Name & Gnatcoll.So_Ext & "." & Version; - -- for Languages use ("Ada", "C"); -+ for Languages use ("Ada"); - - Thread_Lib := (); - |