index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Refresh patches
Stephane Glondu
2012-06-04
*
New upstream beta release
Stephane Glondu
2012-06-04
*
Merge tag 'upstream/8.4_gamma0+really8.4beta2+dfsg' into experimental/master
Stephane Glondu
2012-06-04
|
\
|
*
Remove non-DFSG contents
upstream/8.4_gamma0+really8.4beta2+dfsg
Stephane Glondu
2012-06-04
|
|
\
|
|
*
Imported Upstream version 8.4~gamma0+really8.4beta2
upstream/8.4_gamma0+really8.4beta2
Stephane Glondu
2012-06-04
*
|
|
Recompile with camlp5 6.05 (no changes)
debian/8.4_beta+dfsg-4
Stephane Glondu
2012-04-06
*
|
|
Update changelog and prepare upload to experimental
debian/8.4_beta+dfsg-3
Stephane Glondu
2012-01-15
*
|
|
Disable a test that uses too much memory
Stephane Glondu
2012-01-15
*
|
|
proofgeneral-coq has been dropped in favour of proofgeneral
Stephane Glondu
2012-01-14
*
|
|
Update changelog and prepare upload to experimental
debian/8.4_beta+dfsg-2
Stephane Glondu
2012-01-14
*
|
|
Fix an ordering issue that was causing a test to fail in bytecode
Stephane Glondu
2012-01-14
*
|
|
Call dh_install with --fail-missing
Stephane Glondu
2012-01-14
*
|
|
Fix typo (shame...)
Stephane Glondu
2012-01-13
*
|
|
Prepare upload to experimental
debian/8.4_beta+dfsg-1
Stephane Glondu
2012-01-12
*
|
|
Miscellaneous updates
Stephane Glondu
2012-01-12
*
|
|
Add distclean target to test-suite/Makefile
Stephane Glondu
2012-01-12
*
|
|
New upstream beta release
Stephane Glondu
2012-01-12
*
|
|
Merge commit 'upstream/8.4_beta+dfsg' into experimental/master
Stephane Glondu
2012-01-12
|
\
|
|
|
*
|
Remove non-DFSG contents
upstream/8.4_beta+dfsg
Stephane Glondu
2012-01-12
|
|
\
|
|
|
*
Imported Upstream version 8.4~beta
upstream/8.4_beta
Stephane Glondu
2012-01-12
*
|
|
Update changelog and prepare upload to unstable
debian/8.3.pl3+dfsg-1
Stephane Glondu
2011-12-25
*
|
|
Bump COQ_VERSION
Stephane Glondu
2011-12-25
*
|
|
Remove patch applied upstream
Stephane Glondu
2011-12-25
*
|
|
New upstream release
Stephane Glondu
2011-12-25
*
|
|
Merge commit 'upstream/8.3.pl3+dfsg'
Stephane Glondu
2011-12-25
|
\
|
|
|
*
|
Remove non-DFSG contents
upstream/8.3.pl3+dfsg
Stephane Glondu
2011-12-25
|
|
\
\
|
|
|
/
|
|
/
|
|
*
|
Imported Upstream version 8.3.pl3
upstream/8.3.pl3
Stephane Glondu
2011-12-25
*
|
|
Downgrade versioned build-dependency to liblablgtk2-ocaml-dev
Stephane Glondu
2011-11-12
*
|
|
Prepare upload to unstable
debian/8.3.pl2+dfsg-2
Stephane Glondu
2011-11-02
*
|
|
Bump Standards-Version to 3.9.2 (no changes)
Stephane Glondu
2011-11-02
*
|
|
Update changelog and prepare upload to unstable
debian/8.3.pl2+dfsg-1
Stephane Glondu
2011-04-19
*
|
|
Add patch to fix thumb2-related build error (Closes: #622882)
Stephane Glondu
2011-04-19
*
|
|
New upstream release
Stephane Glondu
2011-04-19
*
|
|
Merge commit 'upstream/8.3.pl2+dfsg'
Stephane Glondu
2011-04-19
|
\
\
\
|
|
|
/
|
|
/
|
|
*
|
Remove non-DFSG contents
upstream/8.3.pl2+dfsg
Stephane Glondu
2011-04-19
|
|
\
|
|
|
*
Imported Upstream version 8.3.pl2
upstream/8.3.pl2
Stephane Glondu
2011-04-19
*
|
|
Promote 8.3 branch to master branch
Stephane Glondu
2011-04-19
*
|
|
Set and check COQ_VERSION used to compute COQ_ABI in debian/rules
debian/8.3.pl1+dfsg-2
Stephane Glondu
2011-02-26
*
|
|
Merge sid branch
Stephane Glondu
2011-02-26
|
\
\
\
|
*
|
|
Update changelog and prepare upload to unstable
debian/8.2.pl2+dfsg-2
Stephane Glondu
2011-02-21
|
*
|
|
Add Fix-build-with-camlp5-6.02.1.patch
Stephane Glondu
2011-02-21
|
*
|
|
Refresh patches
Stephane Glondu
2011-02-21
*
|
|
|
Prepare upload to experimental
debian/8.3.pl1+dfsg-1
Stephane Glondu
2010-12-24
*
|
|
|
New upstream release, update changelog
Stephane Glondu
2010-12-24
*
|
|
|
Merge commit 'upstream/8.3.pl1+dfsg' into experimental/master
Stephane Glondu
2010-12-24
|
\
\
\
\
|
|
|
/
/
|
|
/
|
|
|
*
|
|
Remove non-DFSG contents
upstream/8.3.pl1+dfsg
Stephane Glondu
2010-12-24
|
|
\
\
\
|
|
|
_
|
/
|
|
/
|
|
|
*
|
|
Imported Upstream version 8.3pl1
upstream/8.3pl1
Stephane Glondu
2010-12-24
*
|
|
|
Port to camlp5 6.02.1
Stephane Glondu
2010-12-06
*
|
|
|
Add 0003-Support-for-camlp5-6.02.0.patch
Stephane Glondu
2010-11-17
*
|
|
|
Add debian/source/local-options
Stephane Glondu
2010-10-31
[next]