From 0d16d420ada828a21126fed8dac834e625c962dc Mon Sep 17 00:00:00 2001
From: Pierre-Marie de Rodat <pmderodat@kawie.fr>
Date: Wed, 25 Dec 2019 11:13:56 +0100
Subject: [PATCH] Add libgmp

---
 index/li/libgmp.toml | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 index/li/libgmp.toml

diff --git a/index/li/libgmp.toml b/index/li/libgmp.toml
new file mode 100644
index 00000000..9a869566
--- /dev/null
+++ b/index/li/libgmp.toml
@@ -0,0 +1,10 @@
+[general]
+description = "Multiprecision arithmetic library development files"
+licenses = []
+maintainers = ["derodat@adacore.com"]
+maintainers-logins = ["pmderodat"]
+
+['6.1.0']
+    ['6.1.0'.origin.'case(distribution)']
+    'debian|ubuntu' = "native:libgmp-dev"
+    '...' = ""