The following commit has been merged in the master branch:
commit 279dbda60e3018d4dd1e4e6dce376180d13ca2ef
Author: Mehdi Dogguy
Date: Wed May 20 22:38:00 2009 +0200
Update copyright file
diff --git a/debian/copyright b/debian/copyright
index 96700bf..837f890 100644
--- a/debian/copyright
+
The following commit has been merged in the master branch:
commit f97e998e84eeb7a8069a450e8c13a02123f96c90
Author: Mehdi Dogguy
Date: Wed May 20 19:13:38 2009 +0200
Update deps and build-deps
diff --git a/debian/control b/debian/control
index e73873a..958a0e1 100644
--- a/debian/control
++
The following commit has been merged in the master branch:
commit 393fc8716d291101e729567e2f5b3c73deaba9db
Author: Mehdi Dogguy
Date: Wed May 20 18:02:36 2009 +0200
Oups… the patch is not needed yet.
diff --git a/debian/control b/debian/control
index 5e88f42..e73873a 100644
--- a/debian/co
The following commit has been merged in the master branch:
commit f3cc0ac1b2c563849335fc864ea084872ec0b660
Author: Mehdi Dogguy
Date: Wed May 20 16:38:56 2009 +0200
Add a TODO file
diff --git a/debian/TODO b/debian/TODO
new file mode 100644
index 000..5863516
--- /dev/null
+++ b/debian
The following commit has been merged in the master branch:
commit dbdacb9baa63afa48721b1265f040b0ce9c45daa
Author: Mehdi Dogguy
Date: Wed May 20 16:17:47 2009 +0200
Should call alt-ergo instead of ergo
diff --git a/debian/patches/0007-Ergo-is-Alt-ergo.patch
b/debian/patches/0007-Ergo-is-A
The following commit has been merged in the master branch:
commit 63bab7d385f15934bab5185e8dbc03c0883325fe
Author: Mehdi Dogguy
Date: Wed May 20 16:12:11 2009 +0200
Add alt-ergo in Depends
diff --git a/debian/control b/debian/control
index e73873a..5e88f42 100644
--- a/debian/control
+++ b
The following commit has been merged in the master branch:
commit f7179f3cb2ff9800ecb7a01e64ca2fd67ba30e30
Author: Mehdi Dogguy
Date: Wed May 20 16:23:10 2009 +0200
Fix a little bug in generate-man
diff --git a/debian/man/frama-c-gui.1 b/debian/man/frama-c-gui.1
index 981feca..4c8ef6e 1006
The annotated tag, upstream/20081201.dfsg has been updated
to 91b8e288e72857a78cbc880281278c4fb0218f0e (tag)
from 69e93ca4bc9b2287f8b19c35bce5fdf18828303e (which is now obsolete)
tagging 57510f45708c914921c3fef3c112dc78cfb1e1ad (commit)
replaces upstream/20081201
tagged by
The following commit has been merged in the pristine-tar branch:
commit 37dce9f8d825d59dd47f7f053e3851f87e6d1014
Author: Mehdi Dogguy
Date: Wed May 20 15:17:02 2009 +0200
pristine-tar data for frama-c_20081201.dfsg.orig.tar.gz
diff --git a/frama-c_20081201.dfsg.orig.tar.gz.delta
b/frama-c
The following commit has been merged in the master branch:
commit cdf3fd412b8668201510e6a2404f1b56bea296d7
Author: Mehdi Dogguy
Date: Wed May 20 15:32:25 2009 +0200
Close opened files in debian/man/generate-man
diff --git a/debian/man/generate-man b/debian/man/generate-man
index 38990c1..a
The following commit has been merged in the master branch:
commit c16318acf54281a04a00871a4383da91b15ae75e
Author: Mehdi Dogguy
Date: Wed May 20 15:23:18 2009 +0200
Update README.Debian
diff --git a/debian/README.Debian b/debian/README.Debian
index 0a552d3..e2d56bb 100644
--- a/debian/READ
The following commit has been merged in the master branch:
commit a5fc748d4c3ddfa1f758dd795d661911a8f7af91
Merge: 1df3534f8b03bfb9dd77aadd9997cd69ca96a951
57510f45708c914921c3fef3c112dc78cfb1e1ad
Author: Mehdi Dogguy
Date: Wed May 20 15:17:02 2009 +0200
Merge commit 'upstream/20081201.dfsg
The following commit has been merged in the master branch:
commit 1df3534f8b03bfb9dd77aadd9997cd69ca96a951
Author: Mehdi Dogguy
Date: Wed May 20 15:11:00 2009 +0200
Disabling another proprietary plugin.
diff --git a/debian/purify_tarball b/debian/purify_tarball
index b6f3ba5..b0120a1 10075
The following commit has been merged in the master branch:
commit baced4756bc64e1714de5f9cfb0e1e6ccdfd2e29
Author: Mehdi Dogguy
Date: Wed May 20 14:57:19 2009 +0200
Move ocaml-pkg-update-uploaders to /usr/share/ocaml/pkg-update-uploaders
diff --git a/debian/changelog b/debian/changelog
ind
The following commit has been merged in the master branch:
commit 8a886ddc0ea253f2e278a1ca160fc0f7ee6829d0
Author: Mehdi Dogguy
Date: Wed May 20 14:01:38 2009 +0200
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 573ba9f..f1dd0d9 100644
--- a/debian/changelog
+++ b/
The following commit has been merged in the master branch:
commit a2d31ce0becd52a41f342364e09dff67d3000868
Author: Mehdi Dogguy
Date: Wed May 20 14:00:19 2009 +0200
Add git helper scripts
diff --git a/tools/dom-git-checkout b/tools/dom-git-checkout
new file mode 100755
index 000..d8b22
The following commit has been merged in the master branch:
commit 794e69c042d6c943830d90dff665046234c4780c
Author: Mehdi Dogguy
Date: Wed May 20 13:57:09 2009 +0200
Move ocaml-pkg-update-uploaders to /usr/share/ocaml
diff --git a/tools/ocaml-pkg-update-uploaders b/share/ocaml-pkg-update-up
The following commit has been merged in the master branch:
commit e18386a9f68dca28eb5e4cf7edddbc8201142208
Author: Ralf Treinen
Date: Wed May 20 09:54:19 2009 +0200
updated manpages from upstream
diff --git a/debian/manpages/edos-debcheck.1 b/debian/manpages/edos-debcheck.1
index 3dc9eff..
18 matches
Mail list logo