The following commit has been merged in the master branch:
commit fc6b52ccd87d3a3f1462b6521dc6d5cc3c25c657
Merge: cb0e4159e06b27beb5a55d1c5948ea1499ce0b31
256b7df3f1e6a6a9a89ba389722dd5f6cbc040c5
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 20:56:25 2013 +0200
Merge tag
The annotated tag, upstream/1.2.1 has been created
at c9a54122dedd7f48ff73ae177b6be216e27d0599 (tag)
tagging 2148bce8d5984951b80842e49b9d81d92982aa26 (commit)
replaces upstream/1.2
tagged by Mehdi Dogguy
on Tue Jun 25 20:56:31 2013 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 70da565edbf7f2922defa95c38603dc66bba881c
Merge: fc6b52ccd87d3a3f1462b6521dc6d5cc3c25c657
2148bce8d5984951b80842e49b9d81d92982aa26
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 20:56:31 2013 +0200
Merge tag
The following commit has been merged in the master branch:
commit cb0e4159e06b27beb5a55d1c5948ea1499ce0b31
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 20:41:57 2013 +0200
Make libzarith-ocaml-dev depend on libgmp3-dev. (Closes: #714088)
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit 8d13c809a5c9a0df14b955b0748223be3e8c62bf
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 21:34:29 2013 +0200
Bump Standards-Version to 3.9.4
diff --git a/debian/changelog b/debian/changelog
index f066342..b8e0968
The annotated tag, upstream/1.2 has been created
at 5313517588935f8a87aeaf7d29eb664a2c68d572 (tag)
tagging 256b7df3f1e6a6a9a89ba389722dd5f6cbc040c5 (commit)
replaces upstream/1.1
tagged by Mehdi Dogguy
on Tue Jun 25 20:56:24 2013 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 3af4ac55a6b29f4e50fe305ebc73f9d0d00113c6
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 21:15:31 2013 +0200
Fix outdated-autotools-helper-file config.guess
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit a5cf1651878afd2d0fc5b6e0e78e9cc464b1d5ce
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 20:58:39 2013 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 0ea67a6..2d2dffd 100644
---
The following commit has been merged in the pristine-tar branch:
commit 040855beb7f8eaeec01e6f7cde824654c4345657
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 22:19:29 2013 +0200
pristine-tar data for ocamlgraph_1.8.3.orig.tar.gz
diff --git a/ocamlgraph_1.8.3.orig.tar.gz.delta
The following commit has been merged in the master branch:
commit 53f6fdd64a90acdb45ecab32fb6a517c041168b0
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 22:19:54 2013 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 3a7df00..1e6a839 100644
---
The following commit has been merged in the master branch:
commit 6560e92143be5dede7b757dfe1bf6d3cabc1b992
Merge: 7bebf24260a40301879b917b81780b8d9b92afbb
ab3608493982b4dce98bc5bb8dbc8dae70986795
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 22:19:29 2013 +0200
Merge tag
The following commit has been merged in the master branch:
commit e446b141b9c69e411b61ee1c08d275b9fbc9ddc3
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 22:21:18 2013 +0200
Refresh patches
diff --git
a/debian/patches/0001-prefix-binary-names-with-ocaml-and-do-not-install-us.patch
The following commit has been merged in the master branch:
commit 54a29de234e8835c50a19074515691cdea73aa0b
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 22:26:54 2013 +0200
Update debian/copyright
diff --git a/debian/changelog b/debian/changelog
index 1e6a839..96d0b0d 100644
---
The annotated tag, upstream/1.8.3 has been created
at ed422c6abac76e82396ee8d7f4e599295b94bf36 (tag)
tagging ab3608493982b4dce98bc5bb8dbc8dae70986795 (commit)
replaces upstream/1.8.2
tagged by Mehdi Dogguy
on Tue Jun 25 22:19:29 2013 +0200
- Shortlog
The following commit has been merged in the master branch:
commit e0c6fca3f2c4b8d73c3a7cdf331375ba846c3b6f
Merge: 9d7da4102bfd0599c1ff00aa44d41bb8893384f3
20804861545fda4e14af54c0d77c8a42678ad7bb
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 21:49:33 2013 +0200
Merge tag
The following commit has been merged in the master branch:
commit 10eb582f023c91b5c54550b3ebd08475af7ca91d
Merge: e0c6fca3f2c4b8d73c3a7cdf331375ba846c3b6f
fe4f61e2fad8c17069b38cfcaf2298f884b92ad2
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 21:50:19 2013 +0200
Merge tag
The following commit has been merged in the master branch:
commit 7f57861d65f96cafad2452a6040c2fd321bcca43
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 21:52:10 2013 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index be17c9b..b11834f 100644
---
The following commit has been merged in the master branch:
commit 4798a28a9eafc460882a4976ba08ea94a4309c07
Merge: c18e4b814b6bb2e4d83bdb5832c789a6d3ab44c3
26a540fef0a89d97a9525c879eeef3d3557ee3b2
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 21:51:05 2013 +0200
Merge tag
The following commit has been merged in the pristine-tar branch:
commit b8c05e9afd900ccc0a0f734172a4874206fbae93
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 21:50:44 2013 +0200
pristine-tar data for frama-c_20130501+fluorine2+dfsg.orig.tar.gz
diff --git
The annotated tag, upstream/20130601+fluorine3+dfsg has been created
at 6b171dcf5c0fe23943d934ab0f634e0c13609578 (tag)
tagging 26a540fef0a89d97a9525c879eeef3d3557ee3b2 (commit)
replaces upstream/20130501+fluorine2+dfsg
tagged by Mehdi Dogguy
on Tue Jun 25 21:51:05 2013
The annotated tag, upstream/20130401+fluorine+dfsg has been created
at 4699ec63ed3c48e6fe4eb3bdae155442b0bed1c1 (tag)
tagging fe4f61e2fad8c17069b38cfcaf2298f884b92ad2 (commit)
replaces upstream/20120901+oxygen+dfsg
tagged by Mehdi Dogguy
on Tue Jun 25 21:50:19 2013 +0200
The annotated tag, upstream/20120901+oxygen+dfsg has been created
at 346e0edd70b5ad761a3907357ef356f8690b1adb (tag)
tagging 20804861545fda4e14af54c0d77c8a42678ad7bb (commit)
replaces upstream/20111001+nitrogen+dfsg
tagged by Mehdi Dogguy
on Tue Jun 25 21:49:32 2013 +0200
The following commit has been merged in the pristine-tar branch:
commit 799f1e30da3f45d462cb6cac213408ebcebd0852
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 21:50:19 2013 +0200
pristine-tar data for frama-c_20130401+fluorine+dfsg.orig.tar.gz
diff --git
The following commit has been merged in the pristine-tar branch:
commit dfef0a26b1a7af5b34a72a289e5046e3b9f70ffa
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 21:51:05 2013 +0200
pristine-tar data for frama-c_20130601+fluorine3+dfsg.orig.tar.gz
diff --git
The following commit has been merged in the master branch:
commit decd56b430b648f3a8db8a8cefc40c9e7a7498c4
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 22:04:38 2013 +0200
Update patches.
- Disable 0001-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch
- Remove
The annotated tag, upstream/20130501+fluorine2+dfsg has been created
at f468fd803273da3bc9b4cf8710e2842e351e3f1d (tag)
tagging 8e51213e5c96d5ca311dc718c80413a57d649863 (commit)
replaces upstream/20130401+fluorine+dfsg
tagged by Mehdi Dogguy
on Tue Jun 25 21:50:44 2013
The following commit has been merged in the master branch:
commit 286597230c5bb0a98c4ed97b1c28b4201cdd732e
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 23:07:00 2013 +0200
Add new patches
diff --git a/debian/changelog b/debian/changelog
index 96d0b0d..a4f67e4 100644
---
The following commit has been merged in the master branch:
commit 841af73c79f626531196d4cbadf49ce98befe279
Author: Mehdi Dogguy me...@debian.org
Date: Tue Jun 25 23:15:05 2013 +0200
Bump Standards-Version to 3.9.4, no changes needed.
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the pristine-tar branch:
commit 34645e9ef9fd34b74e26035ff1ff443e779f5dc2
Author: Sylvain Le Gall gil...@debian.org
Date: Tue Jun 25 23:14:05 2013 +0200
pristine-tar data for ocamlmod_0.0.4.orig.tar.gz
diff --git a/ocamlmod_0.0.4.orig.tar.gz.delta
The following commit has been merged in the master branch:
commit 179909b3def0663c883caa3d54d5daa0e5b47198
Merge: cb6d93fd7c5b392eabdace6b5f60299cf9d5fb8e
a267af63a66a97a6831e6dcafdbeb97b302e93b8
Author: Sylvain Le Gall gil...@debian.org
Date: Tue Jun 25 23:14:05 2013 +0200
Merge commit
The following commit has been merged in the master branch:
commit 72c04bc2502e761ec8a8dc9961bce77652ad3222
Author: Sylvain Le Gall gil...@debian.org
Date: Tue Jun 25 21:24:52 2013 +
Upgrade to 0.0.4.
diff --git a/debian/changelog b/debian/changelog
index a01eae0..b5acfec 100644
---
The following commit has been merged in the master branch:
commit 99f0b6c99c5ecd85b34d1f00d0261bf5de5e68cf
Merge: b1df528cf9d6ab3e29035ba4398a642296de3f27
41823bcc5dcbaee58abe32d2890313b973271497
Author: Sylvain Le Gall gil...@debian.org
Date: Tue Jun 25 22:11:24 2013 +
Merge tag
The following commit has been merged in the pristine-tar branch:
commit 269555db1d61325be2865f4e254c4e3d2ef9213d
Author: Sylvain Le Gall gil...@debian.org
Date: Tue Jun 25 22:11:23 2013 +
pristine-tar data for ocamlify_0.0.2.orig.tar.gz
diff --git a/ocamlify_0.0.2.orig.tar.gz.delta
The following commit has been merged in the master branch:
commit 4ff2d804d48f1987d907be533426fc6b4bd405ab
Author: Sylvain Le Gall gil...@debian.org
Date: Tue Jun 25 22:14:45 2013 +
Prepare new upstream release.
diff --git a/debian/changelog b/debian/changelog
index 8685c62..dac63d7
The following commit has been merged in the master branch:
commit 69ae4f9a915a0dc0caab6f196d5cbdd1cfca4d5e
Author: Sylvain Le Gall gil...@debian.org
Date: Tue Jun 25 23:25:51 2013 +
Take into account H. Tews remarks.
diff --git a/debian/changelog b/debian/changelog
index
35 matches
Mail list logo