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
|
biniou (1.2.2-2) unstable; urgency=medium
* Team upload
* Fix build with recent dune
-- Stéphane Glondu <glondu@debian.org> Sat, 15 Jul 2023 07:17:09 +0200
biniou (1.2.2-1) unstable; urgency=medium
[ Stéphane Glondu ]
* Team upload
* New upstream release
[ Debian Janitor ]
* Update watch file format version to 4
* Bump debhelper from old 12 to 13
* Set upstream metadata fields
* Update standards version to 4.6.1
-- Stéphane Glondu <glondu@debian.org> Sat, 21 Jan 2023 08:23:50 +0100
biniou (1.2.1-1) unstable; urgency=medium
* Team upload
* New upstream release
* Update debian/watch
* Bump Standards-Version to 4.4.1
* Add Rules-Requires-Root: no
* Build-depend on debhelper-compat and remove debian/compat
-- Stéphane Glondu <glondu@debian.org> Thu, 19 Dec 2019 11:17:35 +0100
biniou (1.2.0-1) unstable; urgency=medium
* Team upload
* New upstream release (Closes: #898272)
* Update Homepage and debian/watch
* Bump debhelper compat level to 12
* Bump Standards-Version to 4.4.0
* Remove Hendrik from Uploaders
* Update Vcs-*
-- Stéphane Glondu <glondu@debian.org> Mon, 12 Aug 2019 07:09:19 +0200
biniou (1.0.12-2) unstable; urgency=medium
* Team upload
* Fix FTBFS on bytecode architectures
-- Stéphane Glondu <glondu@debian.org> Wed, 03 Aug 2016 22:19:16 +0200
biniou (1.0.12-1) unstable; urgency=medium
* Team upload
* New upstream release
* Update Homepage and debian/watch
* Update Vcs-*
* Bump Standards-Version to 3.9.8
-- Stéphane Glondu <glondu@debian.org> Wed, 03 Aug 2016 13:29:53 +0200
biniou (1.0.9-1) unstable; urgency=medium
* Team upload
* New upstream release
* Bump Standards-Version to 3.9.5
-- Stéphane Glondu <glondu@debian.org> Fri, 31 Jan 2014 11:13:23 +0100
biniou (1.0.8-1) unstable; urgency=low
* Team upload
* New upstream release
- remove patch fix-bi_stream-for-32-bit-OCaml, since upstream changes
now deal explicitly with 32-bit platforms
-- Stéphane Glondu <glondu@debian.org> Thu, 11 Jul 2013 11:36:49 +0200
biniou (1.0.6-1) unstable; urgency=low
[ Sylvain Le Gall ]
* Remove Sylvain Le Gall from uploaders
[ Hendrik Tews ]
* update watch
* add myself as uploader
* bump debhelper compat level and standards version
* update Vcs, dependencies and package description
* update copyright
* rename and adapt debian-changes patch
* add patch fix-bi-stream-32
* update man page
* install api docs in api/html
-- Hendrik Tews <hendrik@askra.de> Thu, 13 Jun 2013 14:01:31 +0200
biniou (1.0.0-1) unstable; urgency=low
* Team upload
* New upstream release
* Bump Standards-Version to 3.9.2
-- Stéphane Glondu <glondu@debian.org> Mon, 11 Jul 2011 00:02:27 +0200
biniou (0.9.1-1) unstable; urgency=low
* Initial release. (Closes: #605672)
-- Sylvain Le Gall <gildor@debian.org> Sun, 05 Dec 2010 00:07:39 +0100
|