summaryrefslogtreecommitdiff
path: root/cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.copyright
diff options
context:
space:
mode:
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.copyright')
-rw-r--r--cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.copyright8
1 files changed, 8 insertions, 0 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.copyright b/cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.copyright
new file mode 100644
index 000000000..81c14cf56
--- /dev/null
+++ b/cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.copyright
@@ -0,0 +1,8 @@
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: cryptominisat
+Upstream-Contact: soos.mate@gmail.com
+Source: https://github.com/msoos/cryptominisat
+
+Files: *
+Copyright: 2009-2018, Mate Soos
+License: MIT
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback