Add libgmp

2019-12-25 11:13:56 +01:00
parent 235927f0f9
commit 0d16d420ad
1 changed files with 10 additions and 0 deletions
@@ -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"
+    '...' = ""