This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag debian/1.6.1-2
in repository ssreflect.
at 8326256 (tag)
tagging 430b3d822d2d73734d67b87ab590b517da9870b9 (commit)
replaces debian/1.6.1-1
tagged by Enrico Tassi
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag rm
in repository ssreflect.
at 09f2426 (tag)
tagging 1bd6c7612a33213ca473dd0cfabe7407a77a3415 (commit)
replaces upstream/1.5
tagged by Enrico Tassi
on
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository ssreflect.
from 9c66906 bdepends on Coq 8.6 (the *install.in files depend on it)
new 430b3d8 fix build-arch target
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 ssreflect.
commit 430b3d822d2d73734d67b87ab590b517da9870b9
Author: Enrico Tassi
Date: Fri Dec 30 11:49:37 2016 +0100
fix build-arch target
---
debian
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag debian/1.6.1-1
in repository ssreflect.
at a24c729 (tag)
tagging 9c66906d6dfaa9af6be6f1440ef14edea987c9c1 (commit)
replaces debian/1.6-1
tagged by Enrico Tassi
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag upstream/1.6.1
in repository ssreflect.
at f8188c2 (tag)
tagging bdffa485b79efcde80ef42d8a29126022ecaf88d (commit)
replaces upstream/1.6
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 ssreflect.
from 0ab0d73 ssr/mathcomp 1.6
new 9c66906 bdepends on Coq 8.6 (the *install.in files depend on it)
The 1 revisions listed above as "new"
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository ssreflect.
commit 9c66906d6dfaa9af6be6f1440ef14edea987c9c1
Author: Enrico Tassi
Date: Wed Dec 28 14:54:47 2016 +
bdepends on Coq 8.6 (the *install.in files
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit c2f1eda504659079238313826fc9c60e981af531
Author: Enrico Tassi
Date: Fri Dec 30 00:36:07 2016 +0100
fix ocamlfind package name
---
debian/control
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag debian/8.6-4
in repository coq.
at 00767f0 (tag)
tagging c2f1eda504659079238313826fc9c60e981af531 (commit)
replaces debian/8.6-3
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 32d5263 depend on ocamlfind
new c2f1eda fix ocamlfind package name
The 1 revisions listed above as "new" are entirely new to this
reposito
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 wi
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
Date: Thu Dec 29 23:46:09 2016 +0100
depend on ocamlfind
---
debian/changelog | 6
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 4409e85 fix FTBFS disabling some tests
new 56e5876 fix FTBFS on mips
The 1 revisions listed above as "new" are entirely new to this
reposi
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
Date: Thu Dec 29 08:59:12 2016 +0100
fix FTBFS on mips
---
debian/changelog
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag debian/8.6-2
in repository coq.
at 2d00820 (tag)
tagging 4409e85b91fa86750f83042c329ec8cf6320d7c7 (commit)
replaces debian/8.6-1
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 bfe45db Coq 8.6
new 4409e85 fix FTBFS disabling some tests
The 1 revisions listed above as "new" are entirely new to this
repository and w
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository aac-tactics.
commit 15d7275f16efbd0f6ef9c07a6102f2893dc726c0
Author: Enrico Tassi
Date: Wed Dec 28 13:46:13 2016 +
8.6.1
---
debian/changelog | 2 +-
1
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository aac-tactics.
commit fb74782e08217e4f1069ed99de6f6f30005bfe13
Merge: 017a43a 1117d2e
Author: Enrico Tassi
Date: Tue Dec 27 16:06:42 2016 +
Merge tag
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository aac-tactics.
commit 76f9b4cdc5693a6313961e2f91b39ba311857e72
Author: Enrico Tassi
Date: Wed Dec 28 13:43:01 2016 +
New upstream version 8.6.1
---
Make
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository aac-tactics.
commit a8c0742d53ca8802a3032d801e4a5e169851078e
Author: Enrico Tassi
Date: Tue Dec 27 16:07:18 2016 +
aac for Coq 8.6
---
debian/changelog
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch pristine-tar
in repository aac-tactics.
commit 7cb80573da87e62c9a669e7bffdffbabb1102a40
Author: Enrico Tassi
Date: Tue Dec 27 16:06:42 2016 +
pristine-tar data for aac
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch upstream
in repository aac-tactics.
from 17564e4 Imported Upstream version 8.5.1
new 1117d2e New upstream version 8.6
new 76f9b4c New upstream version 8.6.1
Th
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch pristine-tar
in repository aac-tactics.
from b04b84c pristine-tar data for aac-tactics_8.5.1.orig.tar.gz
new 7cb8057 pristine-tar data for aac-tactics_8.6.orig.tar.gz
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository aac-tactics.
commit 1117d2e4a00debfbfa0157cc3e780916df72c26b
Author: Enrico Tassi
Date: Tue Dec 27 16:06:42 2016 +
New upstream version 8.6
---
AAC.v
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository aac-tactics.
commit f6c35088fc20b534aac0b92df7cb9750d2b68b46
Merge: a8c0742 76f9b4c
Author: Enrico Tassi
Date: Wed Dec 28 13:45:46 2016 +
Merge tag
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch pristine-tar
in repository aac-tactics.
commit 2062a6bb526785953c46d48a690d1eefe4e2deca
Author: Enrico Tassi
Date: Wed Dec 28 13:43:01 2016 +
pristine-tar data for aac
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository aac-tactics.
from 017a43a Upload to unstable
new 1117d2e New upstream version 8.6
new fb74782 Merge tag 'upstream/8.6'
new a8c0742
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch pristine-tar
in repository ssreflect.
commit 9d7d7af852352d2203f9df6c1c9b4992de566c22
Author: Enrico Tassi
Date: Tue Dec 27 16:10:50 2016 +
pristine-tar data for
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch upstream
in repository ssreflect.
from 0dfc136 Imported Upstream version 1.6
new bdffa48 New upstream version 1.6.1
The 1 revisions listed above as "new" are entirely ne
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository ssreflect.
commit 582fd9f4b4a3a766b7038ba39e4134ce7843b69a
Merge: 18f7769 bdffa48
Author: Enrico Tassi
Date: Tue Dec 27 16:10:50 2016 +
Merge tag 'ups
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository ssreflect.
commit 0ab0d73a07d4889c30245d5e8b786e9445dc964c
Author: Enrico Tassi
Date: Tue Dec 27 16:11:11 2016 +
ssr/mathcomp 1.6
---
debian/changelog
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository ssreflect.
from 18f7769 Fix README/ChangeLog installation
new bdffa48 New upstream version 1.6.1
new 582fd9f Merge tag 'upstream/1.6.1'
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch pristine-tar
in repository ssreflect.
from bb09259 pristine-tar data for ssreflect_1.6.orig.tar.gz
new 9d7d7af pristine-tar data for ssreflect_1.6.1.orig.tar.gz
The 1 re
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch pristine-tar
in repository coq.
from 1dd2832 pristine-tar data for coq_8.5.orig.tar.gz
new 4f8c678 pristine-tar data for coq_8.6.orig.tar.gz
The 1 revisions listed above
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag upstream/8.6
in repository coq.
at bec2376 (tag)
tagging a4c7f8bd98be2a200489325ff7c5061cf80ab4f3 (commit)
replaces upstream/8.5
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 coq.
commit bfe45dbaed933cca5081a9e2524e0ef099a83efb
Author: Enrico Tassi
Date: Wed Dec 28 09:28:26 2016 +0100
Coq 8.6
---
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 4f8c678ec9a09be1f71aa7ea3df9b3d9547ff934
Author: Enrico Tassi
Date: Tue Dec 27 16:53:32 2016 +0100
pristine-tar data for coq_8.6.orig.tar.gz
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag debian/8.6-1
in repository coq.
at edf9daf (tag)
tagging bfe45dbaed933cca5081a9e2524e0ef099a83efb (commit)
replaces debian/8.5-2
tagged by Enrico Tassi
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 ssreflect.
from 6390244 fix binary-only build
new 18f7769 Fix README/ChangeLog installation
The 1 revisions listed above as "new" are entirely new t
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 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 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
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
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
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
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 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 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
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
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
Date: Sat Nov 14 15:00:05 2015 +0100
fix options passed to configure on non intel
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
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
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
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
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 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 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
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
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
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
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 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 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
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 b9b5b95702dc8b9fab44bbfdfc70d3127d890e24
Author: Enrico Tassi
Date: Wed Jul 15 11:36:59 2015 +0200
beta2
---
debian/changelog | 4 ++--
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 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 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 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 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 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 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 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 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
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 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 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 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
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
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
1 - 100 of 141 matches
Mail list logo