The annotated tag, debian/0.1.1-2 has been created
at 2332d8332b2b69f3a0d81c128ed895071c621d2e (tag)
tagging 5c74691ab29f5b5f170b8d20c1d355818f14e08f (commit)
replaces debian/0.1.1-1
tagged by Romain Beauxis
on Tue May 19 09:50:17 2009 +1100
- Shortlog --
The annotated tag, upstream/1.3 has been created
at bcac47a8c4257fd7272717c640d688a7e919fd4d (tag)
tagging 87916f65ee05a2e821aaa54955885a65ba09f845 (commit)
replaces upstream/1.2.1
tagged by Ralf Treinen
on Mon May 18 21:10:47 2009 +0200
- Shortlog --
The annotated tag, debian/1.3-1 has been created
at ee3fb521309f180d165de8f9b5f29d953db23877 (tag)
tagging 423a42d010497a5e460b1cfb18aec03fb8c9747e (commit)
replaces debian/1.2.1-1
tagged by Ralf Treinen
on Mon May 18 21:27:30 2009 +0200
- Shortlog --
The annotated tag, upstream/1.2 has been created
at 74a0630cca6e32bc58a14929e69eb378b7003c3b (tag)
tagging cddbb740932dbef4740742dc12a895bbeaa93142 (commit)
replaces upstream/1.1
tagged by Ralf Treinen
on Sun Mar 22 21:18:11 2009 +0100
- Shortlog
The annotated tag, upstream/1.2.1 has been created
at 6f3b56bae30d5ca4878e5708edb232b2c09337e9 (tag)
tagging 9a847c9ad88e4a891cd7d830643bae58b4141118 (commit)
replaces upstream/1.2
tagged by Ralf Treinen
on Tue Mar 24 22:28:02 2009 +0100
- Shortlog --
The annotated tag, debian/1.2.1-1 has been created
at 3607b055ea3efc5b59a76fc135d0627679afb156 (tag)
tagging 4ca51a12e9ec770e7461dc76dc6bab5754e9da40 (commit)
replaces debian/1.1-1
tagged by Ralf Treinen
on Thu Mar 26 19:30:57 2009 +0100
- Shortlog --
The annotated tag, upstream/1.4.1 has been created
at c1246cc748926c295fe3dcd18250013c7b8f4028 (tag)
tagging ef845774848aa4c2adf31f3f5601d2e1f74420ec (commit)
replaces upstream/1.4
tagged by Ralf Treinen
on Mon May 18 20:24:55 2009 +0200
- Shortlog --
The annotated tag, debian/1.4.1-1 has been created
at 5d61604fe885d6256baf42a2f54b627b50d8fc5a (tag)
tagging 6ff7c39541ddfd889c7bc3982f73d4141ae305d8 (commit)
replaces debian/1.4-2
tagged by Ralf Treinen
on Mon May 18 20:48:50 2009 +0200
- Shortlog --
The following commit has been merged in the master branch:
commit 82c6f9aad0392dc188f579c0161c8cc9b8c87624
Author: Mehdi Dogguy
Date: Mon May 18 16:14:35 2009 +0200
Typo in description
diff --git a/debian/man/frama-c-gui.1 b/debian/man/frama-c-gui.1
index d49496d..981feca 100644
--- a/debi
The annotated tag, debian/1.4.0-2 has been created
at 1a5d2d95b916fa11e3bb9f490d878f51e0b61154 (tag)
tagging 249364346077ad2eb2ee700ef8dcfa4eaa920ce3 (commit)
replaces debian/1.4.0-1
tagged by Stephane Glondu
on Mon May 18 16:04:14 2009 +0200
- Shortlog -
The following commit has been merged in the master branch:
commit 249364346077ad2eb2ee700ef8dcfa4eaa920ce3
Author: Stephane Glondu
Date: Mon May 18 16:00:48 2009 +0200
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 48ce56e..e61204b 100644
--- a/debian/cha
The annotated tag, debian/0.1.1-2 has been created
at 795c4b276f584b9431b7a8b3d7cfec2397991055 (tag)
tagging bf067b5af9df5322dd5fee3d33ca02cc877b37de (commit)
replaces debian/0.1.1-1
tagged by Romain Beauxis
on Tue May 19 00:17:23 2009 +1100
- Shortlog --
The following commit has been merged in the master branch:
commit bf067b5af9df5322dd5fee3d33ca02cc877b37de
Author: Romain Beauxis
Date: Tue May 19 00:16:38 2009 +1100
Added missing .a files, fixed sectiom
diff --git a/debian/changelog b/debian/changelog
index f12e67f..9aecd5e 100644
--- a/
The annotated tag, debian/0.1.0-3 has been created
at 43ff5f8f5cc53269524e66d551feef3fc2a94a96 (tag)
tagging 83db1e2e38876c77262dca01b25cd863a8438a21 (commit)
replaces debian/0.1.0-2
tagged by Romain Beauxis
on Mon May 18 23:58:38 2009 +1100
- Shortlog --
The annotated tag, debian/0.1.1-2 has been created
at 15ed5d92fb6a2f523d0a6bff9358f054d93db369 (tag)
tagging 5c74691ab29f5b5f170b8d20c1d355818f14e08f (commit)
replaces debian/0.1.1-1
tagged by Romain Beauxis
on Mon May 18 23:58:03 2009 +1100
- Shortlog --
The following commit has been merged in the master branch:
commit 83db1e2e38876c77262dca01b25cd863a8438a21
Author: Romain Beauxis
Date: Mon May 18 23:31:50 2009 +1100
Updated standards..
diff --git a/debian/control b/debian/control
index 5e68d91..e45ba39 100644
--- a/debian/control
+++ b/d
The following commit has been merged in the master branch:
commit 0fd00870774ac255d14fe53d40fa179bf6c3a4f4
Author: Romain Beauxis
Date: Mon May 18 23:27:32 2009 +1100
added missing .a files..
diff --git a/debian/changelog b/debian/changelog
index f0e282a..c55e054 100644
--- a/debian/change
The following commit has been merged in the master branch:
commit 5c74691ab29f5b5f170b8d20c1d355818f14e08f
Author: Romain Beauxis
Date: Mon May 18 23:35:15 2009 +1100
Fixed secion
diff --git a/debian/control b/debian/control
index c8e0368..5831b99 100644
--- a/debian/control
+++ b/debian/c
The following commit has been merged in the master branch:
commit a0b644496e831a5c407a7ae1dacf59c5830f4223
Author: Romain Beauxis
Date: Mon May 18 23:28:52 2009 +1100
Added missing .a files..
diff --git a/debian/changelog b/debian/changelog
index aa211b4..c6236c9 100644
--- a/debian/change
The annotated tag, debian/0.1.1-2 has been created
at df0572d0b6c806de697150a994c2a9e1f03e0ff9 (tag)
tagging 93bdbb192d4e888ea5a1937a017c5f229286b514 (commit)
replaces debian/0.1.1-1
tagged by Romain Beauxis
on Mon May 18 23:58:22 2009 +1100
- Shortlog --
The following commit has been merged in the master branch:
commit 93bdbb192d4e888ea5a1937a017c5f229286b514
Author: Romain Beauxis
Date: Mon May 18 23:36:02 2009 +1100
Fixed section
diff --git a/debian/control b/debian/control
index 7b07e5f..ac2cd0e 100644
--- a/debian/control
+++ b/debian/
The following commit has been merged in the master branch:
commit 7ba87ee484832e71a4d43f33bd392c5a062196f4
Author: Romain Beauxis
Date: Mon May 18 23:28:12 2009 +1100
Added missing .a file.
diff --git a/debian/changelog b/debian/changelog
index 1b3bfa8..2817998 100644
--- a/debian/changelo
The annotated tag, debian/0.4.5-1 has been created
at b384fc2b1b4241d1b2b8afb2b79519e9241297c2 (tag)
tagging 96655e975df51cfffa504255bc9601ee20a65d50 (commit)
replaces upstream/0.4.5
tagged by Stefano Zacchiroli
on Mon May 18 13:35:11 2009 +0200
- Shortlog --
23 matches
Mail list logo
