From 8018e923c75eb5504310864f821972f794b7d554 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@google.com>
Date: Wed, 13 Feb 2019 20:40:51 -0500
Subject: New upstream version 8.8.0+1.gbp069dc3b

---
 src/aac_plugin.mlpack | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 src/aac_plugin.mlpack

(limited to 'src/aac_plugin.mlpack')

diff --git a/src/aac_plugin.mlpack b/src/aac_plugin.mlpack
new file mode 100644
index 0000000..ae61b0d
--- /dev/null
+++ b/src/aac_plugin.mlpack
@@ -0,0 +1,8 @@
+Coq
+Helper
+Search_monad
+Matcher
+Theory
+Print
+Aac_rewrite
+Aac
-- 
cgit v1.2.3