From ed2f47b9af6d1dd40ff1e700b4b49c2e7398965d Mon Sep 17 00:00:00 2001
From: Michael Hanus <mh@informatik.uni-kiel.de>
Date: Tue, 11 May 2021 10:51:22 +0200
Subject: [PATCH] Compiler dependency removed
---
package.json | 4 ----
1 file changed, 4 deletions(-)
diff --git a/package.json b/package.json
index 76ccdef..de44e80 100644
--- a/package.json
+++ b/package.json
@@ -10,10 +10,6 @@
"dependencies": {
"base": ">= 3.0.0, < 4.0.0"
},
- "compilerCompatibility": {
- "pakcs": ">= 3.0.0, < 4.0.0",
- "kics2": ">= 3.0.0, < 4.0.0"
- },
"exportedModules": [ "Data.Format" ],
"testsuite": {
"src-dir": "test",
--
GitLab