index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
*
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
|
|
|
*
|
|
debian/rules: make "build" a phony target
Stephane Glondu
2010-10-19
|
|
|
*
|
|
Add 0002-Fix-mixed-implicit-and-normal-rules.patch
Stephane Glondu
2010-10-19
|
|
|
*
|
|
Run test-suite in override_dh_auto_test, skip coqchk
Stephane Glondu
2010-10-19
|
|
|
*
|
|
NOT RELEASED YET
Stephane Glondu
2010-10-19
|
|
|
*
|
|
Update changelog and prepare upload to experimental
debian/8.3+dfsg-1
Stephane Glondu
2010-10-16
|
|
|
*
|
|
Bump Standards-Version to 3.9.1 (no changes)
Stephane Glondu
2010-10-16
|
|
|
*
|
|
Add patch to fix test-suite
Stephane Glondu
2010-10-15
|
|
|
*
|
|
New upstream release
Stephane Glondu
2010-10-14
|
|
|
*
|
|
Merge commit 'upstream/8.3+dfsg' into experimental/master
Stephane Glondu
2010-10-14
|
\
\
\
|
|
|
/
|
|
/
|
|
*
|
Remove non-DFSG contents
upstream/8.3+dfsg
Stephane Glondu
2010-10-14
|
|
/
|
*
Imported Upstream version 8.3
upstream/8.3
Stephane Glondu
2010-10-14
|
|
*
|
Prepare upload to experimental
debian/8.3.rc1+dfsg-1
Stephane Glondu
2010-08-10
|
|
*
|
New upstream release candidate
Stephane Glondu
2010-08-10
|
|
*
|
Merge commit 'upstream/8.3.rc1.dfsg' into experimental/master
Stephane Glondu
2010-08-06
|
\
|
|
*
Imported Upstream version 8.3~rc1+dfsg
upstream/8.3.rc1.dfsg
Stephane Glondu
2010-08-06
|
|
*
|
Update changelog and prepare upload to experimental
debian/8.3.beta0+13323-1
Stephane Glondu
2010-07-24
|
|
*
|
Add 0001-Fix-installation-of-emacs-files.patch
Stephane Glondu
2010-07-24
|
|
*
|
Update copyright file
Stephane Glondu
2010-07-24
|
|
*
|
New upstream snapshot
Stephane Glondu
2010-07-24
|
|
*
|
Merge branch 'experimental/upstream' into experimental/master
Stephane Glondu
2010-07-24
|
\
|
|
*
Imported Upstream snapshot 8.3~beta0+13323
Stephane Glondu
2010-07-24
|
|
*
|
Update changelog and prepare upload to experimental
debian/8.3.beta0+13298-1
Stephane Glondu
2010-07-21
|
|
*
|
Refresh copyright file
Stephane Glondu
2010-07-21
|
|
*
|
Install plugins in (new) binary package libcoq-ocaml
Stephane Glondu
2010-07-21
|
|
*
|
Update packaging according to upstream changes
Stephane Glondu
2010-07-21
|
|
*
|
New branches
Stephane Glondu
2010-07-21
|
|
*
|
New upstream snapshot
Stephane Glondu
2010-07-21
|
|
*
|
Merge branch 'experimental/upstream' into experimental/master
Stephane Glondu
2010-07-21
|
\
|
|
*
Imported Upstream snapshot 8.3~beta0+13298
Stephane Glondu
2010-07-21
|
|
*
|
Update changelog and prepare upload to unstable
debian/8.2.pl2+dfsg-1
Stephane Glondu
2010-07-02
|
|
*
|
Add 0002-Remove-dependency-to-Unix-from-module-Profile.patch
Stephane Glondu
2010-07-02
|
|
|
|
|
|
|
|
...to remove embedded Unix from grammar.cma
*
|
Fix a few warnings
Stephane Glondu
2010-07-02
|
|
*
|
Remove Stefano and Remi from Uploaders
Stephane Glondu
2010-07-01
|
|
*
|
Bump SV to 3.9.0
Stephane Glondu
2010-07-01
|
|
*
|
Use dh with overrides
Stephane Glondu
2010-07-01
|
|
*
|
Use debhelper more thoroughly
Stephane Glondu
2010-07-01
|
|
*
|
Switch source package format to 3.0 (quilt)
Stephane Glondu
2010-07-01
|
|
*
|
New upstream release
Stephane Glondu
2010-07-01
|
|
*
|
Merge commit 'upstream/8.2pl2+dfsg'
Stephane Glondu
2010-07-01
|
\
|
|
*
Imported Upstream version 8.2pl2+dfsg
upstream/8.2.pl2+dfsg
Stephane Glondu
2010-07-01
|
|
*
|
Add 0003-Fix-build-with-OCaml-3.12.patch
Stephane Glondu
2010-06-28
|
|
*
|
Add Disable-micromega-tests.patch, prepare upload to unstable
debian/8.2.pl1+dfsg-6
Stephane Glondu
2010-02-22
|
|
*
|
Update changelog and prepare upload to unstable
debian/8.2.pl1+dfsg-5
Stephane Glondu
2010-02-10
|
|
[next]