The following commit has been merged in the master branch:
commit e7e17ab1ac7e80ce7734ca1e94ad3502c49caf50
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 16 17:13:25 2008 +0200
mention debian/copyright changes
diff --git a/debian/changelog b/debian/changelog
index 0a8250f..513c4b2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,6 +2,7 @@ dose2 (1.3-2) UNRELEASED; urgency=low
* debian/control: add missing deps on librpm-dev and libgdbm-dev from the
-dev package
+ * debian/copyright: add specific licensing information for satsolver/*
* install *.cmi-s under STDLIB/dose2/, rather then STDLIB/ directly
-- Stefano Zacchiroli <[EMAIL PROTECTED]> Tue, 03 Jun 2008 14:56:41 +0200
--
dose2 packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
