The following commit has been merged in the master branch:
commit cd46e52d15984d32ff3fa533c17ca0bb1f38c3e4
Author: Stephane Glondu
Date: Tue Sep 18 15:09:42 2012 +0200
Prepare upload to experimental
diff --git a/debian/changelog b/debian/changelog
index 34e73c0..60f86f4 100644
--- a/debian
The following commit has been merged in the master branch:
commit 08465ddfc9ff8846f52a1f6398b61983f3fa83ee
Author: Stephane Glondu
Date: Tue Sep 18 14:58:12 2012 +0200
This version requires Coq 8.4
diff --git a/debian/control b/debian/control
index 35cb570..236918d 100644
--- a/debian/cont
The following commit has been merged in the master branch:
commit 8675aaefc33c5350054f4759538313af7869185f
Author: Stephane Glondu
Date: Tue Sep 18 15:48:51 2012 +0200
Update to new upstream build system
diff --git a/debian/libssreflect-coq.install b/debian/libssreflect-coq.install
index b
The following commit has been merged in the master branch:
commit d48b96fa6e4c24f8d8c2a258e4ff75926ea90db4
Author: Stephane Glondu
Date: Tue Sep 18 14:57:48 2012 +0200
Tests are no longer shipped
diff --git a/debian/rules b/debian/rules
index 148ad34..9100fef 100755
--- a/debian/rules
+++
The following commit has been merged in the master branch:
commit 974bb73d86544ea836a722c6f49eddb8d58c6ff9
Author: Stephane Glondu
Date: Tue Sep 18 14:56:49 2012 +0200
Remove obsolete patch
diff --git a/debian/patches/0001-Fix-tests-Make.patch
b/debian/patches/0001-Fix-tests-Make.patch
de
The following commit has been merged in the master branch:
commit d581990b609354a785a7361c2da9f9f9d82c1c70
Merge: f1730fd5d2dd4da9b37c4a6628730026b850a1c0
46fb9a65086f1b993e1a9044147143a475692e80
Author: Stephane Glondu
Date: Tue Sep 18 14:53:02 2012 +0200
Merge tag 'upstream/1.4'
The following commit has been merged in the master branch:
commit 3278afe699056ee2d367f5e66cc3441b5f4a0cc0
Author: Stephane Glondu
Date: Tue Sep 18 14:58:37 2012 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 225b10f..34e73c0 100644
--- a/debian/changelog
The following commit has been merged in the master branch:
commit f1730fd5d2dd4da9b37c4a6628730026b850a1c0
Author: Stephane Glondu
Date: Tue Sep 18 14:52:57 2012 +0200
Update debian/watch
diff --git a/debian/watch b/debian/watch
index 2cbc2d2..41acdad 100644
--- a/debian/watch
+++ b/debian
8 matches
Mail list logo