diff options
author | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:38:50 -0700 |
---|---|---|
committer | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:38:50 -0700 |
commit | 35353be470c5b73b7c19d9aea27d09695d9b4dfc (patch) | |
tree | 9d1ebe00b9e1fdb3af024a699f2e0eb8d2b09871 /cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.copyright | |
parent | 43e3983647365e36ec616b4ee92a223537bf4616 (diff) |
revert space
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.copyright')
-rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/debian/cryptominisat5.copyright | 8 |
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 |