From 0d5bfc869c12aa24cd6d0ca5d998457c2abe3a1c Mon Sep 17 00:00:00 2001 From: Daniel James Date: Mon, 18 Aug 2014 14:57:53 +0100 Subject: [PATCH] Add metadata file. --- meta/libraries.json | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 meta/libraries.json diff --git a/meta/libraries.json b/meta/libraries.json new file mode 100644 index 0000000..480b9c8 --- /dev/null +++ b/meta/libraries.json @@ -0,0 +1,15 @@ +{ + "key": "concept_check", + "name": "Concept Check", + "authors": [ + "Jeremy Siek" + ], + "description": "Tools for generic programming.", + "category": [ + "Correctness", + "Generic" + ], + "maintainers": [ + "Jeremy Siek " + ] +}