- Committer: Jason Gross
- Date: 2021-02-03 14:12:33 UTC
- Revision ID: git-v1:bfdf06a183a091c3a816bc62de57e05c2c3e02a7
Require num on newer OCaml
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
patches
|
266 | 11 years ago | Stephane Glondu | Merge branch 'experimental/master' |
|
||
|
source
|
205 | 13 years ago | Stephane Glondu | Switch source package format to 3.0 (quilt) |
|
||
changelog |
280 | 9 years ago | Edward Z. Yang | Merge branch 'master' of git://anonscm.debian.org/ | 24.8 KB |
|
|
|
compat |
271.1.15 | 9 years ago | Stephane Glondu | Bump debhelper compat level to 9 | 2 bytes |
|
|
|
control |
290 | 3 years ago | Jason Gross | Require num on newer OCaml | 3.8 KB |
|
|
|
copyright |
271.1.13 | 9 years ago | Stephane Glondu | Switch debian/copyright to Format 1.0 | 790 bytes |
|
|
|
coq-theories.dirs |
160 | 15 years ago | Stephane Glondu | Rename binary package coq-libs -> coq-theories Ra | 45 bytes |
|
|
|
coq-theories.doc-base |
160 | 15 years ago | Stephane Glondu | Rename binary package coq-libs -> coq-theories Ra | 503 bytes |
|
|
|
coq-theories.install.in |
206 | 13 years ago | Stephane Glondu | Use debhelper more thoroughly | 76 bytes |
|
|
|
coq-theories.links |
180 | 15 years ago | Stephane Glondu | dh_link expects full targets in *.links file! | 145 bytes |
|
|
|
coq.emacsen-install |
2 | 19 years ago | Samuel Mimram | Getting prepared for the licensing-problems-free 8 | 1.1 KB |
|
|
|
coq.emacsen-remove |
2 | 19 years ago | Samuel Mimram | Getting prepared for the licensing-problems-free 8 | 453 bytes |
|
|
|
coq.emacsen-startup |
279 | 9 years ago | Edward Z. Yang | Track renaming of coq.el to gallina.el Signed-off | 857 bytes |
|
|
|
coq.install.in |
278 | 9 years ago | Edward Z. Yang | coqworkmgr Signed-off-by: Edward Z. Yang <ezyang@ | 700 bytes |
|
|
|
coq.links.in |
216 | 13 years ago | Stephane Glondu | Update packaging according to upstream changes | 66 bytes |
|
|
|
coq.menu |
85 | 16 years ago | Samuel Mimram | New upstream release. | 154 bytes |
|
|
|
coq.xpm |
51 | 18 years ago | Samuel Mimram | Transparent icon. | 1.4 KB |
|
|
|
coqide.1 |
13 | 19 years ago | Samuel Mimram | Try to build in opt, ready for dpatch, manpages ad | 2.5 KB |
|
|
|
coqide.desktop |
131 | 15 years ago | Stephane Glondu | Remove Encoding from debian/coqide.desktop ...as | 198 bytes |
|
|
|
coqide.dirs |
257.1.4 | 12 years ago | Stephane Glondu | Miscellaneous updates | 18 bytes |
|
|
|
coqide.install |
285 | 7 years ago | Jason Gross | Add usr/share/coq/coq-ssreflect.lang | 247 bytes |
|
|
|
coqide.links.in |
144 | 15 years ago | Stephane Glondu | Use debhelper 7, simplify debian/rules | 130 bytes |
|
|
|
coqide.menu |
85 | 16 years ago | Samuel Mimram | New upstream release. | 162 bytes |
|
|
|
coqvars.mk.in |
174.1.3 | 15 years ago | Stephane Glondu | Generate coqvars.mk from debian/rules and drop /us | 284 bytes |
|
|
|
docs |
30 | 19 years ago | Samuel Mimram | Versionned the dependency to ocaml-base-nox, added | 15 bytes |
|
|
|
gbp.conf |
266 | 11 years ago | Stephane Glondu | Merge branch 'experimental/master' | 528 bytes |
|
|
|
libcoq-ocaml-dev.install.in |
272 | 10 years ago | Edward Z. Yang | Packaging fixes to make trunk work. Signed-off-by | 102 bytes |
|
|
|
libcoq-ocaml.install.in |
272 | 10 years ago | Edward Z. Yang | Packaging fixes to make trunk work. Signed-off-by | 102 bytes |
|
|
|
NEWS |
198 | 14 years ago | Stephane Glondu | Make NEWS file Lintian-friendly | 335 bytes |
|
|
purify_tarball |
186 | 14 years ago | Stephane Glondu | Keep some file from doc/common/styles/html/simple | 779 bytes |
|
|
|
README.Debian |
271.1.8 | 10 years ago | Stephane Glondu | Update README.Debian (Closes: #680248) | 765 bytes |
|
|
|
README.source |
257.1.20 | 11 years ago | Stephane Glondu | Use filter-pristine-tar and change versioning sche | 1.7 KB |
|
|
|
rules |
288 | 7 years ago | Jason Gross | Remove DYN | 2.7 KB |
|
|
|
TODO.Debian |
38 | 19 years ago | Samuel Mimram | Better handling of arch-indep packages. | 164 bytes |
|
|
|
watch |
257.1.34 | 11 years ago | Stephane Glondu | New debian/watch file by Bart Martens | 211 bytes |
|
|