1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
coinst (1.9.3-6) unstable; urgency=medium
* Team upload
* Fix compilation with OCaml 5.2.0 (Closes: #1073875)
-- Stéphane Glondu <glondu@debian.org> Tue, 06 Aug 2024 04:40:47 +0200
coinst (1.9.3-5) unstable; urgency=medium
[ Stéphane Glondu ]
* Team upload
[ Bastian Germann ]
* Drop coinst-viewer (Closes: #967294)
-- Stéphane Glondu <glondu@debian.org> Sun, 27 Aug 2023 07:16:17 +0200
coinst (1.9.3-4) unstable; urgency=medium
[ Stéphane Glondu ]
* Team upload
* Bump Standards-Version to 4.6.2
[ Debian Janitor ]
* Use versioned copyright format URI.
* Update watch file format version to 4.
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
* Update pattern for GitHub archive URLs from /<org>/<repo>/tags
page/<org>/<repo>/archive/<tag> -> /<org>/<repo>/archive/refs/tags/<tag>.
* debian/watch: Use GitHub /tags rather than /releases page.
-- Stéphane Glondu <glondu@debian.org> Tue, 08 Aug 2023 09:31:46 +0200
coinst (1.9.3-3) unstable; urgency=medium
* Team upload
* Port jsviewer.js to modern js_of_ocaml
-- Stéphane Glondu <glondu@debian.org> Wed, 19 Aug 2020 15:07:12 +0200
coinst (1.9.3-2) unstable; urgency=medium
* Team upload
* Fix FTBFS with OCaml 4.08.1 (Closes: #956556)
* Update Vcs-* to point to salsa
* Update debian/watch
* Bump debhelper compat level to 13
* Bump Standards-Version to 4.5.0
* Add Rules-Requires-Root: no
-- Stéphane Glondu <glondu@debian.org> Thu, 13 Aug 2020 15:46:28 +0200
coinst (1.9.3-1) unstable; urgency=medium
* New upstream release
* Remove patch, integrated upstream.
-- Mehdi Dogguy <mehdi@debian.org> Sat, 13 Feb 2016 14:42:20 +0100
coinst (1.9.2-1) unstable; urgency=medium
* New upstream release:
- Avoid ambiguous output when package has multiple versions
(Closes: #759476)
- Add a new line before "LARGER NON-INSTALLABLE SETS"
(Closes: #759474)
- Use http.debian.net and allow user to specify source mirror by
passing --source flag (Closes: #736910)
* Remove all patches, integrated upstream.
* Fix space/tab issue in viewer/Makefile
- add debian/patches/0001-Fix-a-space-tab-issue-in-Makefile.patch
-- Mehdi Dogguy <mehdi@debian.org> Fri, 12 Feb 2016 00:12:30 +0100
coinst (1.9.1-2) unstable; urgency=medium
* Fix FTBFS with OCaml 4.02.3
- Add Ptset.of_list, Ptset.Big.of_list and Ptset.BigPos.of_list
- Add camlp4 as a build dependency
-- Mehdi Dogguy <mehdi@debian.org> Sun, 18 Oct 2015 17:04:40 +0200
coinst (1.9.1-1) unstable; urgency=low
* Update debian/gbp.conf to automatically filter out the "Talks"
directory upon import using git-import-orig.
* Import new upstream (minor) release
- Remove no longer needed 0001-Fixed-to-compile-with-OCaml-4.01.patch
- Update patch make_byte
-- Mehdi Dogguy <mehdi@debian.org> Fri, 17 Jan 2014 22:51:09 +0100
coinst (1.9.0-1) unstable; urgency=low
[ Ralf Treinen ]
* debian/rules: use $(OCAML_HAVE_OCAMLOPT) to distinguish native from
non-native archs (thanks to Mehdi Dogguy for the hint!)
[ Mehdi Dogguy ]
* Update debian/gbp.conf to automatically filter "migration-reports"
and "snapshots" directories upon import using git-import-orig.
* Import new upstream release
- Update debian/patches/make_clean
- Update debian/patches/make_coinst
- Update debian/patches/make_viewer_byte in order to build coinst_converter.byte
as well on bytecode architectures.
- Add debian/patches/make_byte
- Add debian/patches/Fixed-to-compile-with-OCaml-4.01.patch (from upstream)
* Install comigrate and coinst-upgrades utilities.
* Install coinst_converter and jsviewer.js in the coinst-viewer package
(Closes: #665447).
* Add myself to Uploaders.
* Bump Standards-Version to 3.9.4, no changes needed.
* Add libcudf-ocaml-dev to Build-Depends.
-- Mehdi Dogguy <mehdi@debian.org> Thu, 16 Jan 2014 23:44:57 +0100
coinst (1.01-2) unstable; urgency=low
* Rename patch clean_viewer to make-clean, also clean coinst.byte.
* debian/rules: build bytecode on non-native architectures (closes: #656730)
-- Ralf Treinen <treinen@debian.org> Sat, 21 Jan 2012 21:58:07 +0100
coinst (1.01-1) unstable; urgency=low
* Initial release (closes: #655395)
-- Ralf Treinen <treinen@debian.org> Sun, 01 Jan 2012 16:54:35 +0100
|
