The branch, master has been created
at 3956077891035018d133f8dc5b11d4ddef02f345 (commit)
- Shortlog
commit 3956077891035018d133f8dc5b11d4ddef02f345
Author: Enrico Tassi ta...@cs.unibo.it
Date: Fri Mar 13 23:24:04 2009 +0100
The branch, upstream has been created
at 3956077891035018d133f8dc5b11d4ddef02f345 (commit)
- Shortlog
commit 3956077891035018d133f8dc5b11d4ddef02f345
Author: Enrico Tassi ta...@cs.unibo.it
Date: Fri Mar 13 23:24:04 2009 +0100
The following commit has been merged in the master branch:
commit ddd7c62522c04e36f8a11d674b543db2310b6338
Author: Enrico Tassi ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit 3edbc5fa2db4385a25f8c0bb97670e1b27f4774d
Author: Enrico Tassi ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit 96fe37bddda0e1a6915e0e6775c0eb08e3c7620d
Author: Enrico Tassi gareuselesi...@debian.org
Date: Sat Mar 14 12:44:45 2009 +0100
user new @OCaml*@ macro in .install.in files
diff --git a/debian/liblablgtkmathview-ocaml
The following commit has been merged in the master branch:
commit a187faa1f35bafee53eb4904e0d3e7569cbb86b9
Author: Enrico Tassi gareuselesi...@debian.org
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
The following commit has been merged in the master branch:
commit 8ed6102a494de65b5d8a18513720f985214254b4
Author: Enrico Tassi gareuselesi...@debian.org
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
The following commit has been merged in the master branch:
commit 93e0d7732686fa1a4a2426b68fa32575b258266d
Author: Enrico Tassi gareuselesi...@debian.org
Date: Sat Mar 14 12:52:14 2009 +0100
updated changelog
diff --git a/debian/changelog b/debian/changelog
index 2acda3a..b652342 100644
The tag, bad has been created
at c11e9cb5818f32f8c8a4e3278f9f2bc45b536c70 (commit)
- Shortlog
commit c11e9cb5818f32f8c8a4e3278f9f2bc45b536c70
Author: Enrico Tassi ta...@cs.unibo.it
Date: Sat Mar 14 12:35:18 2009 +0100
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 ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit b9113bd24d82bf317f2a0f49580ce9082494097d
Author: Enrico Tassi ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit eb12f50213f12edcc535e4599f2e50eb8d595e79
Author: Enrico Tassi ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit 7f4acfc14acb9e161fdea258f840d5babbb1aae8
Author: Enrico Tassi ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit 548f4c128331069daa9fa733890389759b72331a
Author: Enrico Tassi ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit 948dbc240350dd0a864f46b2d7f800c02406bbd5
Author: Enrico Tassi ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit bf6941f649a5d4bc38839e2c5be32f74f7a0f870
Author: Enrico Tassi ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit 31d4553ffac0f418821f2ef93870da4455b3a578
Author: Enrico Tassi ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit cc25f6d4b3c15cf378e65a812acac94c2200a577
Author: Enrico Tassi ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit 829efa8be6e318822e6df32fb6c0d904d89db52b
Author: Enrico Tassi ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit fec0ee3db173ed75a15d198b617c4f4190f161be
Author: Enrico Tassi ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit 51595b0e1e1bc64a4abd7330722b9c675641db8f
Author: Enrico Tassi ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit 9f2a2df2c01158c5a6bfdacf2060c96d19a61f45
Author: Enrico Tassi ta...@cs.unibo.it
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
The following commit has been merged in the master branch:
commit 40805d9a1112f8066c5ef7076d1ec76a659f109c
Author: Enrico Tassi ta...@cs.unibo.it
Date: Wed Nov 11 17:33:54 2009 +0100
updated changelog
diff --git a/debian/changelog b/debian/changelog
index 0adc7f6..52092fb 100644
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 ga...@fettunta.org
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
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 af788e345f5e15846ed5ded71ed93958ff857bd2
Author: Enrico Tassi ga...@fettunta.org
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
The following commit has been merged in the master branch:
commit 6ef819ba30e9ab6a8ca408208ded51bd7987f594
Author: Enrico Tassi ga...@fettunta.org
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
The following commit has been merged in the master branch:
commit 245591dfd519f7a3813d226f98e79f21b92965d0
Author: Enrico Tassi ga...@fettunta.org
Date: Mon Apr 12 18:05:49 2010 +0200
closing changelod, ready for upload
diff --git a/debian/changelog b/debian/changelog
index d28d58f
The following commit has been merged in the master branch:
commit 55f232f4528b0fc4c61a9945266c7f445e1075d6
Author: Enrico Tassi ga...@fettunta.org
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
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 ga...@fettunta.org
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
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
The following commit has been merged in the master branch:
commit 3f142ce931e841a6dc57fbc9e2e5b8491f20cf90
Merge: 81f446c547f03a0d007be3a1802ee6075a0e20e2
2c65a3dc9da1af0ca1810d6e23a5bb8bcdd64115
Author: Enrico Tassi gareuselesi...@debian.org
Date: Sun May 6 18:10:31 2012 +0200
Merge tag
The following commit has been merged in the master branch:
commit 156f5288de051c68fb6157ff66edf874bca1d6d0
Author: Enrico Tassi gareuselesi...@debian.org
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
The following commit has been merged in the pristine-tar branch:
commit 630839b06fe2ed5e849f097ee8e33434b804811a
Author: Enrico Tassi gareuselesi...@debian.org
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
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
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 gareuselesi...@debian.org
Date: Wed Oct 2 11:16:33 2013 +0200
fix clean target
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 gareuselesi...@debian.org
Date: Tue Dec 10 20:14:26 2013 +0100
Fix configuration
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 gareuselesi...@debian.org
Date: Tue Dec 10 20:27:38 2013 +0100
Patch to fix type
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 gareuselesi...@debian.org
Date: Thu Jul 16 16:58:08 2015 +0200
fix build deps
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
by 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 'upstream
by 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 gareuselesi...@debian.org
Date: Tue Jul 14 12:40:07 2015 +0200
Packaging 8.5beta1
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 gareuselesi...@debian.org
Date: Sun Jan 25 14:43:16 2015 +0100
pristine-tar data
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 gareuselesi...@debian.org
Date: Sun Jan 25 14:43:14 2015 +0100
Imported Upstream
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 gareuselesi...@debian.org
Date: Wed Jul 15 10:01:05 2015 +0200
update changelog
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
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 gareuselesi...@debian.org
Date: Wed Jul 15 09:53:44 2015 +0200
override hardening
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 gareuselesi...@debian.org
Date: Wed Jul 15 09:44:14 2015 +0200
.cma files
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 gareuselesi...@debian.org
Date: Wed Jul 15 09:28:35 2015 +0200
make bin-nmuable
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'
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 gareuselesi...@debian.org
Date: Wed Jul 15 10:36:13 2015 +0200
pristine-tar data
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
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 gareuselesi...@debian.org
Date: Wed Jul 15 11:37:33 2015 +0200
Remove unneeded comment
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 gareuselesi...@debian.org
Date: Wed Jul 15 13:15:50 2015 +0200
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 gareuselesi...@debian.org
Date: Wed Jul 15 13:17:45 2015 +0200
more overrides
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 gareuselesi...@debian.org
Date: Wed Jul 15 11:36:59 2015 +0200
beta2
---
debian
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
by 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 commit to branch master
in repository coq.
commit 64fa31c7ee53e79b112507fb2eea27dc7648328d
Author: Enrico Tassi gareuselesi...@debian.org
Date: Mon Jul 20 09:53:58 2015 +0200
enable make test-suite
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
by 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 gareuselesi...@debian.org
Date: Mon Jul 20 09:52:10 2015 +0200
disable native compiler
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 <gareuselesi...@debian.org>
Date: Sat Nov 14 09:45:53 2015 +0100
set version to
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 <gareuselesi...@debian.org>
Date: Fri Nov 13 11:31:36 2015 +0100
pristi
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 <gareuselesi...@debian.org>
Date: Fri Nov 13 11:43:34 2015
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 <gareuselesi...@debian.org>
Date: Fri Nov 13 11:48:48 2015 +0100
beta3
---
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 <gareuselesi...@debian.org>
Date: Fri Nov 13 11:31:54 2015 +0100
Imported Up
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 <gareuselesi...@debian.org>
Date: Fri Nov 13 11:31:56 2015 +0100
pristi
by 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
by 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
by 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 d55ac4014632489e3009a2a7351d018b3b2d27ac
Author: Enrico Tassi <gareuselesi...@debian.org>
Date: Sat Nov 14 15:00:05 2015 +0100
fix options
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
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 disabling 4429
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
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 <gareuselesi...@debian.org>
Date: Thu Jan 28 11:47:57 2016 +0100
fix FTBFS o
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 <gareuselesi...@debian.org>
Date: Tue Jan 26 17:18:24 2016 +0100
8.5
---
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
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 <gareuselesi...@debian.org>
Date: Tue Jan 26 16:56:34 2016 +0100
pristi
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 <ga...@fettunta.org>
Date: Fri Sep 23 16:25:31 2016 +0200
Fix p
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 <ga...@fettunta.org>
Date: Tue Aug 30 16:16:54 2016 +0200
pristi
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 <ga...@fettunta.org>
Date: Fri Sep 23 15:21:02 2016 +0200
Comp
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 <ga...@fettunta.org>
Date: Thu Sep 29 19:11:47 2016 +0200
Fix README/Cha
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
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag upstream/1.6
in repository ssreflect.
at 6453a68 (tag)
tagging 0dfc136a590c218f11d48adb452cd19f7b056f08 (commit)
replaces upstream/1.5
tagged by Enrico Tassi
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository coq.
from 4409e85 fix FTBFS disabling some tests
new 56e5876 fix FTBFS on mips
The 1 revisions listed above as "new" are entirely new to this
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 56e5876c2ad8909f5abccfba1ef8484908b70a30
Author: Enrico Tassi <gareuselesi...@debian.org>
Date: Thu Dec 29 08:59:12 2016 +0100
fix FTBFS o
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag debian/8.6-3
in repository coq.
at 9c85a0b (tag)
tagging 56e5876c2ad8909f5abccfba1ef8484908b70a30 (commit)
replaces debian/8.6-2
tagged by Enrico Tassi
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository coq.
from 56e5876 fix FTBFS on mips
new 32d5263 depend on ocamlfind
The 1 revisions listed above as "new" are entirely new to this
repository and
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 32d5263520a5fe927afd5451c40154c14a8b051d
Author: Enrico Tassi <gareuselesi...@debian.org>
Date: Thu Dec 29 23:46:09 2016 +0100
depend on oca
1 - 100 of 128 matches
Mail list logo