The following commit has been merged in the master branch:
commit a0e1e287854d96291e03f7e7bcdc859c9e3285be
Merge: b997c79c5d369a6d95a3b3b51041999a0a1c2bd7
ec3820990289f27f22b6be584c422917c50800ec
Author: Stephane Glondu st...@glondu.net
Date: Sun Apr 24 11:02:29 2011 +0200
Merge commit
The annotated tag, upstream/2.3.0 has been created
at 21d31108dc610c07ff1710ed0ca117aee9bc852e (tag)
tagging ec3820990289f27f22b6be584c422917c50800ec (commit)
replaces upstream/2.2.1
tagged by Stephane Glondu
on Sun Apr 24 11:01:37 2011 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 5328fcb0c5676cb0f80cb83d1e4c23c381b47435
Author: Nicolas Dandrimont nicolas.dandrim...@crans.org
Date: Sun Apr 24 11:29:48 2011 +0200
Bump Breaks/Replaces for lwt packages
diff --git a/debian/control b/debian/control
index
The following commit has been merged in the master branch:
commit 4cbebcbfa3e45376ca5de76a4b1df35a4131b7ed
Author: Nicolas Dandrimont nicolas.dandrim...@crans.org
Date: Sun Apr 24 11:31:06 2011 +0200
Use a dch-generated changelog format
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 74825ecc4937768bf1ec8105d2626eaa4fd1b2cb
Author: Stephane Glondu st...@glondu.net
Date: Sun Apr 24 13:20:51 2011 +0200
Build theories only when explicitly asked
Theories (which are arch:all) are very long to compile
The following commit has been merged in the master branch:
commit b81ea12a37b3f8e196a53fb531a50693294afc38
Author: Stephane Glondu st...@glondu.net
Date: Sun Apr 24 14:29:47 2011 +0200
Notice in README.source about arch:all package
diff --git a/debian/README.source b/debian/README.source
The following commit has been merged in the master branch:
commit 0aa06f9906f85c4a63dfd79991fc4af082933e19
Author: Stephane Glondu st...@glondu.net
Date: Sat Apr 23 22:05:17 2011 +0200
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index
The annotated tag, debian/1.3pl1-4 has been created
at 2137c925b78723b39a2806f9e2343c74b9a0ef3e (tag)
tagging 0aa06f9906f85c4a63dfd79991fc4af082933e19 (commit)
replaces debian/1.3pl1-3
tagged by Stephane Glondu
on Sun Apr 24 15:12:26 2011 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 060d85847bc8d3287d88900317214b8538b5e6ca
Author: Mehdi Dogguy me...@debian.org
Date: Fri Apr 15 21:44:12 2011 +0200
No need to filter out src/{impact,security} from tarball
diff --git a/debian/gbp.conf b/debian/gbp.conf
The following commit has been merged in the master branch:
commit 2415f504b6a315816f5ee6551c23592970dc6d21
Merge: 060d85847bc8d3287d88900317214b8538b5e6ca
6e7820bfdceae2ad99815a88094a9db445fad25a
Author: Mehdi Dogguy me...@debian.org
Date: Fri Apr 15 21:45:17 2011 +0200
Merge commit
The following commit has been merged in the master branch:
commit 293a03142ad93954273864d9dc640b25e075d8f9
Author: Mehdi Dogguy me...@debian.org
Date: Fri Apr 15 23:08:02 2011 +0200
Fix Categories field in frama-c.desktop (Closes: #610432) (LP: #613853).
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit 17eab41af7680548f95442a21e42055bd8e8bf90
Author: Mehdi Dogguy me...@debian.org
Date: Sat Apr 23 18:40:59 2011 +0200
Add fix for issue 727
diff --git a/debian/changelog b/debian/changelog
index 4f75129..3032aff 100644
---
The following commit has been merged in the master branch:
commit f188023dab3b0f4e0c4cb8dfa137c7748186a87b
Author: Mehdi Dogguy me...@debian.org
Date: Sat Apr 23 18:50:16 2011 +0200
No need to exclude custom bytecode binaries when running dh_strip
diff --git a/debian/changelog
The following commit has been merged in the pristine-tar branch:
commit cc4f2f39d41e9d13ab52de79a2ecb9944dc520c3
Author: Mehdi Dogguy me...@debian.org
Date: Fri Apr 15 21:45:17 2011 +0200
pristine-tar data for frama-c_20110201+carbon+dfsg.orig.tar.gz
diff --git
The annotated tag, upstream/20110201+carbon+dfsg has been created
at 50f496e229f3073c07b2141063615e30f407a716 (tag)
tagging 6e7820bfdceae2ad99815a88094a9db445fad25a (commit)
replaces upstream/20100401+boron+dfsg
tagged by Mehdi Dogguy
on Fri Apr 15 21:45:17 2011 +0200
-
The annotated tag, debian/20110201+carbon+dfsg-1 has been created
at 95c17c870e060b0550da79b6b5daaa159f844f1c (tag)
tagging f188023dab3b0f4e0c4cb8dfa137c7748186a87b (commit)
replaces debian/20100401+boron+dfsg-4
tagged by Mehdi Dogguy
on Sun Apr 24 18:20:35 2011 +0200
-
The following commit has been merged in the master branch:
commit 2776a8af76925b62807d6d08998a7b635b1b56c6
Author: Nicolas Dandrimont nicolas.dandrim...@crans.org
Date: Tue Apr 19 11:34:47 2011 +0200
Update build-deps for new upstream release
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit 6f5823d46cd8579911ed58bcc6645c238caea878
Author: Nicolas Dandrimont nicolas.dandrim...@crans.org
Date: Sun Apr 24 19:59:21 2011 +0200
Drop patches (fixed upstream)
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 6b056b4588874bd25b476a945c7d98c13d68e173
Author: Nicolas Dandrimont nicolas.dandrim...@crans.org
Date: Tue Apr 19 12:24:31 2011 +0200
Sync debian/rules with new upstream release
diff --git a/debian/rules b/debian/rules
index
The following commit has been merged in the master branch:
commit 067fdb7536ca630ddd2a473ba02df7f25e165de6
Author: Nicolas Dandrimont nicolas.dandrim...@crans.org
Date: Tue Apr 19 12:56:09 2011 +0200
Update *.install files for new upstream release
diff --git
The following commit has been merged in the master branch:
commit b891338d644082be75d8c553e91d0638cf0faafe
Author: Nicolas Dandrimont nicolas.dandrim...@crans.org
Date: Tue Apr 19 13:24:29 2011 +0200
Use the right path for the documentation files
diff --git
The following commit has been merged in the master branch:
commit 1910a09ed9dd5001696ad16b894e3101dfab5637
Author: Nicolas Dandrimont nicolas.dandrim...@crans.org
Date: Tue Apr 19 11:35:21 2011 +0200
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the pristine-tar branch:
commit 49a786295489648ae95f33f281e4e509967ce316
Author: Nicolas Dandrimont nicolas.dandrim...@crans.org
Date: Sun Apr 24 18:48:20 2011 +0200
pristine-tar data for obus_1.1.2.orig.tar.gz
diff --git
The following commit has been merged in the master branch:
commit 3af0b7c26da52744812cd0366931f9a430cbd28a
Merge: 4eafbb671676235ba43ed5cb4cb938e1350d7455
56bcf69a01e0aef2d7cef6ff99c8272b9ee141cf
Author: Mehdi Dogguy me...@debian.org
Date: Sat Apr 23 19:17:45 2011 +0200
Merge commit
The following commit has been merged in the master branch:
commit e9f442668297320d12516ef7809d25c08fc98082
Author: Mehdi Dogguy me...@debian.org
Date: Sat Apr 23 19:18:29 2011 +0200
New upstream release.
diff --git a/debian/changelog b/debian/changelog
index 3901542..5c48c2c 100644
---
The following commit has been merged in the master branch:
commit 803f7b7acf5b92ee48c8ced028e6af49118a82b7
Author: Mehdi Dogguy me...@debian.org
Date: Sat Apr 23 19:21:35 2011 +0200
Remove some old patches
diff --git a/debian/changelog b/debian/changelog
index 5c48c2c..3c55bab 100644
---
The following commit has been merged in the master branch:
commit a7fb8de4873eeae208c2b0684266473e426c3359
Author: Mehdi Dogguy me...@debian.org
Date: Sat Apr 23 20:08:14 2011 +0200
Mark Alt-Ergo 0.93 as compatible
diff --git a/debian/changelog b/debian/changelog
index 8f36f6a..f540ec8
The following commit has been merged in the master branch:
commit a4ea4f3e71906dc18f9d47974ad8016a8faced4e
Author: Mehdi Dogguy me...@debian.org
Date: Sat Apr 23 20:16:36 2011 +0200
Fix FTBFS due to non-exhaustive pattern matching
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit f677c3aea0c48fce0d264d178863de50daa88a86
Author: Mehdi Dogguy me...@debian.org
Date: Sun Apr 24 20:14:06 2011 +0200
Set 20110201+carbon+dfsg-1~ as minimum version number for Frama-C.
diff --git a/debian/changelog
The annotated tag, upstream/2.29+dfsg has been created
at 735e0aace5df8299eb217004d28947cfdc097726 (tag)
tagging 56bcf69a01e0aef2d7cef6ff99c8272b9ee141cf (commit)
replaces upstream/2.26+dfsg
tagged by Mehdi Dogguy
on Sat Apr 23 19:17:45 2011 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 7042c0b0ad4136589e1a46bc91e5536b892b2f81
Author: Mehdi Dogguy me...@debian.org
Date: Mon Apr 25 00:30:47 2011 +0200
Fix FTBFS on armel.
diff --git a/debian/changelog b/debian/changelog
index be77ad9..0c41d07 100644
---
The annotated tag, debian/2.29+dfsg-2 has been created
at 1d95cfc482971e9ca70a631d98a1489461a98505 (tag)
tagging 7042c0b0ad4136589e1a46bc91e5536b892b2f81 (commit)
replaces debian/2.29+dfsg-1
tagged by Mehdi Dogguy
on Mon Apr 25 00:37:38 2011 +0200
- Shortlog
32 matches
Mail list logo