From 1186fcc838c5efb422d052b140a73194c11705ae Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 12 Dec 2016 19:28:32 +0100
Subject: [PATCH] we actually dont have a license for this stuff (yet)
---
opam | 1 -
1 file changed, 1 deletion(-)
diff --git a/opam b/opam
index 7718aea8..e92373cb 100644
--- a/opam
+++ b/opam
@@ -5,7 +5,6 @@ maintainer: "Ralf Jung <jung@mpi-sws.org>"
authors: "The RustBelt Team"
homepage: "http://plv.mpi-sws.org/rustbelt/"
bug-reports: "https://gitlab.mpi-sws.org/FP/lambdaRust-coq/issues"
-license: "BSD"
dev-repo: "https://gitlab.mpi-sws.org/FP/lambdaRust-coq.git"
build: [
[make "-j%{jobs}%"]
--
GitLab