The branch, master has been created
at 3956077891035018d133f8dc5b11d4ddef02f345 (commit)
- Shortlog
commit 3956077891035018d133f8dc5b11d4ddef02f345
Author: Enrico Tassi
Date: Fri Mar 13 23:24:04 2009 +0100
Imported
The branch, pristine-tar has been created
at 856afdf10c0dde5813f45b51bf8480859c3d8b58 (commit)
- Shortlog
commit 856afdf10c0dde5813f45b51bf8480859c3d8b58
Author: Enrico Tassi
Date: Fri Mar 13 23:24:05 2009 +0100
The branch, upstream has been created
at 3956077891035018d133f8dc5b11d4ddef02f345 (commit)
- Shortlog
commit 3956077891035018d133f8dc5b11d4ddef02f345
Author: Enrico Tassi
Date: Fri Mar 13 23:24:04 2009 +0100
Imported
The annotated tag, upstream/0.7.8 has been created
at 0cf61f890bb6865e12de8be29226acb6c71b942d (tag)
tagging 3956077891035018d133f8dc5b11d4ddef02f345 (commit)
tagged by Enrico Tassi
on Fri Mar 13 23:24:05 2009 +0100
- Shortlog
The following commit has been merged in the master branch:
commit ddd7c62522c04e36f8a11d674b543db2310b6338
Author: Enrico Tassi
Date: Sat Mar 14 12:27:04 2009 +0100
added debian directory and gbp.conf
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 000
The following commit has been merged in the master branch:
commit b56fddc084bd5a7f0acb48155f3179ae8fe2f9ab
Author: Enrico Tassi
Date: Sat Mar 14 12:34:59 2009 +0100
added build-depend over dh-ocaml
diff --git a/debian/control b/debian/control
index 3ca8997..2c542ef 100644
--- a/debian
The following commit has been merged in the master branch:
commit 3edbc5fa2db4385a25f8c0bb97670e1b27f4774d
Author: Enrico Tassi
Date: Sat Mar 14 12:35:18 2009 +0100
changed Vcs-* fields to git://git.debian.org/...
diff --git a/debian/control b/debian/control
index 2c542ef..f825469 100644
The following commit has been merged in the master branch:
commit 96fe37bddda0e1a6915e0e6775c0eb08e3c7620d
Author: Enrico Tassi
Date: Sat Mar 14 12:44:45 2009 +0100
user new @OCaml*@ macro in .install.in files
diff --git a/debian/liblablgtkmathview-ocaml-dev.install.in
b/debian
The following commit has been merged in the master branch:
commit a187faa1f35bafee53eb4904e0d3e7569cbb86b9
Author: Enrico Tassi
Date: Sat Mar 14 12:46:31 2009 +0100
fixed spelling error in control file
diff --git a/debian/control b/debian/control
index f825469..cc618c1 100644
--- a/debian
The following commit has been merged in the master branch:
commit 8ed6102a494de65b5d8a18513720f985214254b4
Author: Enrico Tassi
Date: Sat Mar 14 12:47:48 2009 +0100
maintainer is pkg-ocaml-maint, uploades are gares and zack
diff --git a/debian/control b/debian/control
index cc618c1
The following commit has been merged in the master branch:
commit 93e0d7732686fa1a4a2426b68fa32575b258266d
Author: Enrico Tassi
Date: Sat Mar 14 12:52:14 2009 +0100
updated changelog
diff --git a/debian/changelog b/debian/changelog
index 2acda3a..b652342 100644
--- a/debian/changelog
The tag, bad has been created
at c11e9cb5818f32f8c8a4e3278f9f2bc45b536c70 (commit)
- Shortlog
commit c11e9cb5818f32f8c8a4e3278f9f2bc45b536c70
Author: Enrico Tassi
Date: Sat Mar 14 12:35:18 2009 +0100
changed Vcs
The annotated tag, debian/0.7.8-4 has been created
at eb941ff33913804c1bbf1aa36bdd7ff6bf470295 (tag)
tagging 93e0d7732686fa1a4a2426b68fa32575b258266d (commit)
replaces upstream/0.7.8
tagged by Enrico Tassi
on Sun Mar 15 18:27:24 2009 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 1662c6d2d60f75290d888d6c3cc3ad34bb408f3a
Author: Enrico Tassi
Date: Wed Nov 11 16:02:34 2009 +0100
chmod +x Makefile.dpatch
diff --git a/debian/patches/Makefile.dpatch b/debian/patches/Makefile.dpatch
old mode 100644
new
The following commit has been merged in the master branch:
commit b9113bd24d82bf317f2a0f49580ce9082494097d
Author: Enrico Tassi
Date: Wed Nov 11 16:14:08 2009 +0100
added README.source pointing to dpatch standard doc
diff --git a/debian/README.source b/debian/README.source
new file mode
The following commit has been merged in the master branch:
commit eb12f50213f12edcc535e4599f2e50eb8d595e79
Author: Enrico Tassi
Date: Wed Nov 11 16:15:06 2009 +0100
debhelper compatibility level to 7
diff --git a/debian/compat b/debian/compat
index b8626c4..7f8f011 100644
--- a/debian
The following commit has been merged in the master branch:
commit 7f4acfc14acb9e161fdea258f840d5babbb1aae8
Author: Enrico Tassi
Date: Wed Nov 11 16:20:14 2009 +0100
moved packages to Section: ocaml
diff --git a/debian/control b/debian/control
index aa6398d..53d506d 100644
--- a/debian
The following commit has been merged in the master branch:
commit 548f4c128331069daa9fa733890389759b72331a
Author: Enrico Tassi
Date: Wed Nov 11 16:21:57 2009 +0100
depbhelper >= 7 and standards-version=3.8.3
diff --git a/debian/control b/debian/control
index 53d506d..00be864 100644
--
The following commit has been merged in the master branch:
commit 948dbc240350dd0a864f46b2d7f800c02406bbd5
Author: Enrico Tassi
Date: Wed Nov 11 16:22:22 2009 +0100
fixed VCS-Browse fields
diff --git a/debian/control b/debian/control
index 00be864..f58d3c3 100644
--- a/debian/control
The following commit has been merged in the master branch:
commit bf6941f649a5d4bc38839e2c5be32f74f7a0f870
Author: Enrico Tassi
Date: Wed Nov 11 16:50:00 2009 +0100
dh_ocamldoc
diff --git a/debian/libexpat-ocaml-dev.ocamldoc
b/debian/libexpat-ocaml-dev.ocamldoc
new file mode 100644
index
The following commit has been merged in the master branch:
commit 31d4553ffac0f418821f2ef93870da4455b3a578
Author: Enrico Tassi
Date: Wed Nov 11 16:51:12 2009 +0100
fixed copyright file adding years of copyright holding
diff --git a/debian/copyright b/debian/copyright
index bd971bd
The following commit has been merged in the master branch:
commit cc25f6d4b3c15cf378e65a812acac94c2200a577
Author: Enrico Tassi
Date: Wed Nov 11 16:52:35 2009 +0100
updated with my last changes and added FTBFS bugno
diff --git a/debian/changelog b/debian/changelog
index ef7d2e6..cde8da9
The following commit has been merged in the master branch:
commit 829efa8be6e318822e6df32fb6c0d904d89db52b
Author: Enrico Tassi
Date: Wed Nov 11 17:01:32 2009 +0100
add file for doc-base
diff --git a/debian/libexpat-ocaml-dev.doc-base.ocamldoc-apiref
b/debian/libexpat-ocaml-dev.doc
The following commit has been merged in the master branch:
commit fec0ee3db173ed75a15d198b617c4f4190f161be
Author: Enrico Tassi
Date: Wed Nov 11 17:17:38 2009 +0100
ported to dh-ocaml >= 0.9
diff --git a/debian/changelog b/debian/changelog
index cde8da9..0adc7f6 100644
--- a/deb
The following commit has been merged in the master branch:
commit 51595b0e1e1bc64a4abd7330722b9c675641db8f
Author: Enrico Tassi
Date: Wed Nov 11 17:26:01 2009 +0100
added --include flags to find .mli files
diff --git a/debian/libexpat-ocaml-dev.ocamldoc
b/debian/libexpat-ocaml
The following commit has been merged in the master branch:
commit 9f2a2df2c01158c5a6bfdacf2060c96d19a61f45
Author: Enrico Tassi
Date: Wed Nov 11 17:33:32 2009 +0100
removed useless ocamldoc-apiref
diff --git a/debian/libexpat-ocaml-dev.doc-base.ocamldoc-apiref
b/debian/libexpat-ocaml
The following commit has been merged in the master branch:
commit 40805d9a1112f8066c5ef7076d1ec76a659f109c
Author: Enrico Tassi
Date: Wed Nov 11 17:33:54 2009 +0100
updated changelog
diff --git a/debian/changelog b/debian/changelog
index 0adc7f6..52092fb 100644
--- a/debian/changelog
The annotated tag, debian/0.9.1+debian1-6 has been created
at d688431272df737870d7f18318766078ca26705e (tag)
tagging 40805d9a1112f8066c5ef7076d1ec76a659f109c (commit)
replaces debian/0.9.1+debian1-5
tagged by Enrico Tassi
on Wed Nov 11 17:35:35 2009 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 5040f5bad2768d07623b06209d44fc324c09b957
Author: Enrico Tassi
Date: Sun Feb 14 15:58:20 2010 +0100
maintainer is DOM, I'm uploader
diff --git a/debian/changelog b/debian/changelog
index 2cd9aec..912fc8d 100644
--- a/d
The annotated tag, debian/0.9.1+debian1-7 has been created
at fa8f34642e79d7d5633282c47e430009d8ca2958 (tag)
tagging b1aa1f3d9ef7c806022b86788f0600f6e85e29ec (commit)
replaces debian/0.9.1+debian1-6
tagged by Enrico Tassi
on Sun Feb 14 16:22:05 2010 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 22f6c7b4152d9f228e6a43ea2f1be3f1b2b5da26
Author: Enrico Tassi
Date: Mon Apr 12 17:55:23 2010 +0200
use quilt
diff --git a/debian/control b/debian/control
index 764e3a8..1f06c0c 100644
--- a/debian/control
+++ b/debian
The following commit has been merged in the master branch:
commit af788e345f5e15846ed5ded71ed93958ff857bd2
Author: Enrico Tassi
Date: Mon Apr 12 17:59:22 2010 +0200
source format 3.0 (quilt)
diff --git a/debian/changelog b/debian/changelog
index 6e480c0..d28d58f 100644
--- a/debian
The following commit has been merged in the master branch:
commit 6ef819ba30e9ab6a8ca408208ded51bd7987f594
Author: Enrico Tassi
Date: Mon Apr 12 18:01:57 2010 +0200
added copyright year to make lintian happy
diff --git a/debian/copyright b/debian/copyright
index 6fcd9d4..d71237f 100644
The following commit has been merged in the master branch:
commit 245591dfd519f7a3813d226f98e79f21b92965d0
Author: Enrico Tassi
Date: Mon Apr 12 18:05:49 2010 +0200
closing changelod, ready for upload
diff --git a/debian/changelog b/debian/changelog
index d28d58f..e677284 100644
--- a
The following commit has been merged in the master branch:
commit 55f232f4528b0fc4c61a9945266c7f445e1075d6
Author: Enrico Tassi
Date: Mon Apr 12 18:07:25 2010 +0200
removed 00dpatch.conf
diff --git a/debian/patches/00dpatch.conf b/debian/patches/00dpatch.conf
deleted file mode 100644
The annotated tag, debian/0.8-9 has been created
at 393925c32aa6b2642b1b1e10b53e42059dd72aa0 (tag)
tagging 55f232f4528b0fc4c61a9945266c7f445e1075d6 (commit)
replaces debian/0.8-8
tagged by Enrico Tassi
on Mon Apr 12 18:07:49 2010 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 1f5f4c642ef4bd7357741fceb6208935d5ef4f14
Author: Enrico Tassi
Date: Mon Apr 12 18:38:53 2010 +0200
fix syntax in changelog, a ] was missing
diff --git a/debian/changelog b/debian/changelog
index e677284..06612b9 100644
The annotated tag, debian/0.8-10 has been created
at f86c97dd44e10304bd6ff8ba0ee95f2acf09864e (tag)
tagging 24a678d8ef72fc5a9305315881aa89230d566933 (commit)
replaces debian/0.8-9
tagged by Enrico Tassi
on Mon Apr 12 21:02:25 2010 +0200
- Shortlog
The annotated tag, debian/0.8-10 has been deleted
was f86c97dd44e10304bd6ff8ba0ee95f2acf09864e
---
tag debian/0.8-10
Debian release 0.8-10
24a678d8ef72fc5a9305315881aa89230d566933 uploading fix to changelog
--
Enrico Tassi
on Sun Jan 25 14:43:16 2015 +0100
- Log -
Upstream version 8.5~beta1+dfsg
Enrico Tassi (2):
Imported Upstream version 8.5~beta1+dfsg
Imported Upstream version 8.5~beta1+dfsg
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 9d22a41a7047e6462c28a11203bf30b7657a4b53
Author: Enrico Tassi
Date: Tue Jul 14 12:40:07 2015 +0200
Packaging 8.5beta1
---
debian/changelog
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch pristine-tar
in repository coq.
commit c042f85ec49c1651bf15e957724df0b3ba8d3261
Author: Enrico Tassi
Date: Sun Jan 25 14:43:16 2015 +0100
pristine-tar data for coq_8.5~beta1
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit cec4741afacd2e80894232850eaf9f9c0e45d6d7
Author: Enrico Tassi
Date: Sun Jan 25 14:43:14 2015 +0100
Imported Upstream version 8.5~beta1+dfsg
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 8c40e737d99ccef45c79021d723a90e76cf5c3b1
Author: Enrico Tassi
Date: Wed Jul 15 09:44:14 2015 +0200
.cma files are not executables
---
debian/rules
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit d7798125b2a6c2a43d232db8222d4c3354c09bb9
Author: Enrico Tassi
Date: Wed Jul 15 09:28:35 2015 +0200
make bin-nmuable
---
debian/changelog | 1
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit c01be74d81a5466c58f8dc6c568db286b0979997
Author: Enrico Tassi
Date: Wed Jul 15 10:01:05 2015 +0200
update changelog
---
debian/changelog | 3
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository coq.
from 9d22a41 Packaging 8.5beta1
new d779812 make bin-nmuable
new 8c40e73 .cma files are not executables
new b81f67d override
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit b81f67debd8e75b481f2b5314c56c9876e9225a0
Author: Enrico Tassi
Date: Wed Jul 15 09:53:44 2015 +0200
override hardening-no-relro for native compute
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit e347929583f820a2cc0296597b6382309e930989
Merge: c01be74 0aa2544
Author: Enrico Tassi
Date: Wed Jul 15 13:15:50 2015 +0200
Merge tag 'ups
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository coq.
from c01be74 update changelog
new 0aa2544 Imported Upstream version 8.5~beta2+dfsg
new e347929 Merge tag 'upstream/8.5_beta2+dfsg' int
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch pristine-tar
in repository coq.
commit 1aedadb144a22daf9cf8e4a576e9fdf3c24e259d
Author: Enrico Tassi
Date: Wed Jul 15 10:36:13 2015 +0200
pristine-tar data for coq_8.5~beta2
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch upstream
in repository coq.
from cec4741 Imported Upstream version 8.5~beta1+dfsg
new 0aa2544 Imported Upstream version 8.5~beta2+dfsg
The 1 revisions listed above as "n
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 9efa102039972ea78f63317caa9da7b91bfd6d72
Author: Enrico Tassi
Date: Wed Jul 15 11:37:33 2015 +0200
Remove unneeded comment
---
debian/rules | 3
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit b9b5b95702dc8b9fab44bbfdfc70d3127d890e24
Author: Enrico Tassi
Date: Wed Jul 15 11:36:59 2015 +0200
beta2
---
debian/changelog | 4 ++--
debian
Enrico Tassi
on Wed Jul 15 10:36:13 2015 +0200
- Log -
Upstream version 8.5~beta2+dfsg
Enrico Tassi (1):
Imported Upstream version 8.5~beta2+dfsg
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch pristine-tar
in repository coq.
from c042f85 pristine-tar data for coq_8.5~beta1+dfsg.orig.tar.gz
new 1aedadb pristine-tar data for coq_8.5~beta2+dfsg.orig.tar.gz
The 1
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 7e60dbce04177fa01583ce81d79d47eeed306ae4
Author: Enrico Tassi
Date: Wed Jul 15 13:17:45 2015 +0200
more overrides
---
debian/changelog
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 1b014807aa88271b107b5cbb9e2d8bb471e9208f
Author: Enrico Tassi
Date: Thu Jul 16 16:58:08 2015 +0200
fix build deps
---
debian/changelog | 3
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository coq.
from 7e60dbc more overrides
new 1b01480 fix build deps
The 1 revisions listed above as "new" are entirely new to this
repository and will be de
Enrico Tassi
on Thu Jul 16 19:50:46 2015 +0200
- Log -
coq Debian release 8.5~beta2+dfsg-1
Enrico Tassi (14):
Imported Upstream version 8.5~beta1+dfsg
Imported Upstream version 8.5~beta1+dfsg
Merge tag 'ups
Enrico Tassi
on Mon Jul 20 09:54:26 2015 +0200
- Log -
coq Debian release 8.5~beta2+dfsg-2
Enrico Tassi (2):
disable native compiler on non-mainstream arches
enable make test-suite at build time
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit d57f8a932cc2ca71b9583df4b8e9fb111f80b180
Author: Enrico Tassi
Date: Mon Jul 20 09:52:10 2015 +0200
disable native compiler on non-mainstream arches
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 64fa31c7ee53e79b112507fb2eea27dc7648328d
Author: Enrico Tassi
Date: Mon Jul 20 09:53:58 2015 +0200
enable make test-suite at build time
---
debian
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository coq.
from 1b01480 fix build deps
new d57f8a9 disable native compiler on non-mainstream arches
new 64fa31c enable make test-suite at build t
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit b39748fd08b03dbf5bc1530fd8af3de3e7bd8cb5
Author: Enrico Tassi
Date: Sat Nov 14 09:45:53 2015 +0100
set version to beta3 in debian/rules
---
debian
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch pristine-tar
in repository coq.
commit 75a2e44cc4426bdea05f5469434a0a0bfbb2f401
Author: Enrico Tassi
Date: Fri Nov 13 11:31:36 2015 +0100
pristine-tar data for coq_8.5~beta3
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 4e76c4f01b69b77f40686e06c4544aa156efaa5a
Merge: 64fa31c 91dbeab
Author: Enrico Tassi
Date: Fri Nov 13 11:43:34 2015 +0100
Imported Upstream version
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit fe5b47f90e0e701ffb13f107f4baa38070ce88ca
Author: Enrico Tassi
Date: Fri Nov 13 11:48:48 2015 +0100
beta3
---
debian/changelog | 6 ++
1 file
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 91dbeab8eef959c3f64960909ca69d4e68c8198d
Author: Enrico Tassi
Date: Fri Nov 13 11:31:54 2015 +0100
Imported Upstream version 8.5~beta3+dfsg
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch pristine-tar
in repository coq.
from 1aedadb pristine-tar data for coq_8.5~beta2+dfsg.orig.tar.gz
new 75a2e44 pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch pristine-tar
in repository coq.
commit f60abed748b22306db4985a9158ea9accf7fbad7
Author: Enrico Tassi
Date: Fri Nov 13 11:31:56 2015 +0100
pristine-tar data for coq_8.5~beta3
Enrico Tassi
on Fri Nov 13 11:31:56 2015 +0100
- Log -
Upstream version 8.5~beta3+dfsg
Enrico Tassi (2):
Imported Upstream version 8.5~beta3+dfsg
Imported Upstream version 8.5~beta3+dfsg
Enrico Tassi
on Sat Nov 14 09:46:32 2015 +0100
- Log -
coq Debian release 8.5~beta3+dfsg-1
Enrico Tassi (5):
Imported Upstream version 8.5~beta3+dfsg
Imported Upstream version 8.5~beta3+dfsg
Imported
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository coq.
from b39748f set version to beta3 in debian/rules
new d55ac40 fix options passed to configure on non intel architectures
The 1 revisions listed
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit d55ac4014632489e3009a2a7351d018b3b2d27ac
Author: Enrico Tassi
Date: Sat Nov 14 15:00:05 2015 +0100
fix options passed to configure on non intel
Enrico Tassi
on Sat Nov 14 15:00:31 2015 +0100
- Log -
coq Debian release 8.5~beta3+dfsg-2
Enrico Tassi (1):
fix options passed to configure on non intel architectures
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit ad20f9ab9a6f4d9e080b27571fa411aa68a53907
Author: Enrico Tassi
Date: Tue Jan 26 17:18:24 2016 +0100
8.5
---
debian/changelog
Tassi
on Tue Jan 26 16:56:34 2016 +0100
- Log -
Upstream version 8.5
Enrico Tassi (1):
Imported Upstream version 8.5
---
No new revisions were added by
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch pristine-tar
in repository coq.
commit 1dd2832548e89cba030d9850223b7df53aa849cb
Author: Enrico Tassi
Date: Tue Jan 26 16:56:34 2016 +0100
pristine-tar data for coq_8.5.orig.tar.gz
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch pristine-tar
in repository coq.
from f60abed pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz
new 1dd2832 pristine-tar data for coq_8.5.orig.tar.gz
The 1 revisions l
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository coq.
from ad20f9a 8.5
new 7c9b0a7 fix FTBFS on slow architectures by disabling 4429
The 1 revisions listed above as "new" are entirely new to this
r
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 7c9b0a702976078b813e6493c1284af62a3f093c
Author: Enrico Tassi
Date: Thu Jan 28 11:47:57 2016 +0100
fix FTBFS on slow architectures by disabling
Tassi
on Thu Jan 28 15:48:42 2016 +0100
- Log -
coq Debian release 8.5-2
Enrico Tassi (4):
Imported Upstream version 8.5
Merge tag 'upstream/8.5'
8.5
fix FTBFS on slow architectures by disa
The following commit has been merged in the master branch:
commit 3f142ce931e841a6dc57fbc9e2e5b8491f20cf90
Merge: 81f446c547f03a0d007be3a1802ee6075a0e20e2
2c65a3dc9da1af0ca1810d6e23a5bb8bcdd64115
Author: Enrico Tassi
Date: Sun May 6 18:10:31 2012 +0200
Merge tag 'upstream/0
The following commit has been merged in the master branch:
commit 156f5288de051c68fb6157ff66edf874bca1d6d0
Author: Enrico Tassi
Date: Sun May 6 21:29:29 2012 +0200
Matita 0.99.1 packaged
diff --git a/debian/changelog b/debian/changelog
index 2f1db80..f6d7adb 100644
--- a/debian/changelog
The following commit has been merged in the pristine-tar branch:
commit 630839b06fe2ed5e849f097ee8e33434b804811a
Author: Enrico Tassi
Date: Sun May 6 18:10:30 2012 +0200
pristine-tar data for matita_0.99.1.orig.tar.gz
diff --git a/matita_0.99.1.orig.tar.gz.delta b/matita_0.99.1
The annotated tag, debian/0.99.1-1 has been created
at b36e49fafd1f86136182de768113e56bca8251a5 (tag)
tagging 156f5288de051c68fb6157ff66edf874bca1d6d0 (commit)
replaces debian/0.5.8-4
tagged by Enrico Tassi
on Sun May 6 22:54:31 2012 +0200
- Shortlog
The annotated tag, upstream/0.99.1 has been created
at b60bff185235a2664be9c120eacc37240d9d2de4 (tag)
tagging 2c65a3dc9da1af0ca1810d6e23a5bb8bcdd64115 (commit)
replaces upstream/0.5.8
tagged by Enrico Tassi
on Sun May 6 18:10:31 2012 +0200
- Shortlog
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository matita.
from 156f528 Matita 0.99.1 packaged
new ef07513 fix clean target
The 1 revisions listed above as "new" are entirely new to this
repository a
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository matita.
commit ef075135a42373d914bd9f72f770a3905561f2e3
Author: Enrico Tassi
Date: Wed Oct 2 11:16:33 2013 +0200
fix clean target
---
debian/changelog |6
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag debian/0.99.1-2
in repository matita.
at 1d4dcc2 (tag)
tagging ef075135a42373d914bd9f72f770a3905561f2e3 (commit)
replaces debian/0.99.1-1
tagged by Enrico Tassi
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository matita.
commit 7beb1315307a102e5129acc03f5fc70bb37c293b
Author: Enrico Tassi
Date: Tue Dec 10 20:14:26 2013 +0100
Fix configuration script w.r.t. lablgtk 2.16
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository matita.
from ef07513 fix clean target
new 7beb131 Fix configuration script w.r.t. lablgtk 2.16
new dc9ac0b Patch to fix type checker infere
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag debian/0.99.1-3
in repository matita.
at bab5754 (tag)
tagging dc9ac0b5c2c83ed753c92d11336a90259b29bffd (commit)
replaces debian/0.99.1-2
tagged by Enrico Tassi
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository matita.
commit dc9ac0b5c2c83ed753c92d11336a90259b29bffd
Author: Enrico Tassi
Date: Tue Dec 10 20:27:38 2013 +0100
Patch to fix type checker inference of
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch pristine-tar
in repository ssreflect.
commit bb092597148884bdc5f8bfadd67e18e6bc45f389
Author: Enrico Tassi
Date: Tue Aug 30 16:16:54 2016 +0200
pristine-tar data for ssreflect_1.6
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository ssreflect.
commit 16189ab9e7dd06ad616f1f038adc939aa8575377
Author: Enrico Tassi
Date: Fri Sep 23 15:21:02 2016 +0200
Completing the copyright file
---
debian
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository ssreflect.
commit 0de07d45cf9e12f56b9c3fe4498036df184d8ad7
Author: Enrico Tassi
Date: Fri Sep 23 16:25:31 2016 +0200
Fix package description
---
debian
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository ssreflect.
commit 18f776900efef8036386fdfdc5dd7760c252231e
Author: Enrico Tassi
Date: Thu Sep 29 19:11:47 2016 +0200
Fix README/ChangeLog installation
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository ssreflect.
from 6390244 fix binary-only build
new 18f7769 Fix README/ChangeLog installation
The 1 revisions listed above as "new" are entirely new t
1 - 100 of 141 matches
Mail list logo