Bug#916645: marked as done (ITP: lablgtk3 -- OCaml bindings for gtk+ version 3)
Your message dated Mon, 24 Dec 2018 18:05:45 +0000
with message-id <E1gbUbp-000ILa-VH@fasolo.debian.org>
and subject line Bug#916645: fixed in lablgtk3 3.0~beta3-1
has caused the Debian Bug report #916645,
regarding ITP: lablgtk3 -- OCaml bindings for gtk+ version 3
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
916645: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=916645
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen <treinen@debian.org>
* Package name : lablgtk3
Version : 3.0
Upstream Author : Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
* URL : http://lablgtk.forge.ocamlcore.org/
* License : LGPL 2.1
Programming Lang: OCaml
Description : OCaml bindings for gtk+ version 3
This package provides OCaml bindings (development libraries,
dynamic libraries) for gtk+ version3.
This package is needed to bring back the graphical interface to
some important OCaml applications, in particular coq, why3, alt-ergo,
and frama-c
It will be maintained by the Debian OCaml team.
--- End Message ---
--- Begin Message ---
Source: lablgtk3
Source-Version: 3.0~beta3-1
We believe that the bug you reported is fixed in the latest version of
lablgtk3, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 916645@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated lablgtk3 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 23 Dec 2018 20:00:19 +0100
Source: lablgtk3
Binary: liblablgtk3-ocaml liblablgtk3-ocaml-dev liblablgtk3-ocaml-doc liblablgtksourceview3-ocaml liblablgtksourceview3-ocaml-dev
Architecture: source amd64 all
Version: 3.0~beta3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
liblablgtk3-ocaml - runtime libraries for OCaml bindings for GTK+ version 3
liblablgtk3-ocaml-dev - OCaml bindings to Gtk+ version 3
liblablgtk3-ocaml-doc - OCaml bindings to Gtk+ version 3 (documentation)
liblablgtksourceview3-ocaml - OCaml bindings for libgtksourceview3 (runtime)
liblablgtksourceview3-ocaml-dev - OCaml bindings for libgtksourceview3, a source editor GTK+ widget
Closes: 916645
Changes:
lablgtk3 (3.0~beta3-1) unstable; urgency=medium
.
* Initial packaging (closes: #916645)
Checksums-Sha1:
4204990fd30ae612dd51637e1848644c97b21209 2465 lablgtk3_3.0~beta3-1.dsc
2386c3eddd6354b179908bd75ccae28c99ae9f2a 773143 lablgtk3_3.0~beta3.orig.tar.gz
3e86be3871822133f9e82ac51c3fb07e462c4647 4196 lablgtk3_3.0~beta3-1.debian.tar.xz
5c2ebb1a9059b5b2e6efc7ba80641944ebd06463 16321 lablgtk3_3.0~beta3-1_amd64.buildinfo
4388b7b0e625da17fbfcac6e5560120d2e6e45db 133316 liblablgtk3-ocaml-dbgsym_3.0~beta3-1_amd64.deb
48e9d98c53bf197b6d652170712356515e3f2a9d 1282708 liblablgtk3-ocaml-dev_3.0~beta3-1_amd64.deb
a17f897ae92063e0a618be6ba0c5197b66b12351 362388 liblablgtk3-ocaml-doc_3.0~beta3-1_all.deb
d53b43a61d0a0bda7ce80913dbbb451acac2e01a 687676 liblablgtk3-ocaml_3.0~beta3-1_amd64.deb
b31d589a6e2e67876a8c04318add4c191820e793 17256 liblablgtksourceview3-ocaml-dbgsym_3.0~beta3-1_amd64.deb
8e3a45039ebe6e2cc9148c134a5a6fde257c0f9c 129464 liblablgtksourceview3-ocaml-dev_3.0~beta3-1_amd64.deb
6b0e4221be2a9647d05e1871a792108200381871 110624 liblablgtksourceview3-ocaml_3.0~beta3-1_amd64.deb
Checksums-Sha256:
00dbd6b2114d4ec98c2863ac9a9ec6d95b5f129a30136d252e881fbf11a84c8d 2465 lablgtk3_3.0~beta3-1.dsc
5cfe26ca814e16f2f4c392e13d836f986545d0626b66a1a204b97250a5360903 773143 lablgtk3_3.0~beta3.orig.tar.gz
0b4b632534a191ad1d4060d8127bdf4e1c857c734f3eea7f4d952013f4892061 4196 lablgtk3_3.0~beta3-1.debian.tar.xz
a73061e6bb86ccca78a99753d91656600089a521fda8dc05861bb4935dd645ff 16321 lablgtk3_3.0~beta3-1_amd64.buildinfo
71cb572bf14954b892a20480d6702afd3bdffb71ff75e2446ff67582b09623c8 133316 liblablgtk3-ocaml-dbgsym_3.0~beta3-1_amd64.deb
49a66e35f4efff0151d33346683ba162dd8f89c192f03bd8a4b43c9003c61932 1282708 liblablgtk3-ocaml-dev_3.0~beta3-1_amd64.deb
92ec259f38f6945ad9dd76f758198e802860c3f9a7df569a8f45e69b7ed2e85d 362388 liblablgtk3-ocaml-doc_3.0~beta3-1_all.deb
147a8cf2ab982be79063a75d93d873338977eb125f7a0d9e98ae78a1537a04c4 687676 liblablgtk3-ocaml_3.0~beta3-1_amd64.deb
3e44b56eab9b1ca41f4045cfd8c3b880732a207b8a86ce492eb100457c105752 17256 liblablgtksourceview3-ocaml-dbgsym_3.0~beta3-1_amd64.deb
3981249b30de8e8baf5492d93eda8280b67928637a1ba4cb4136dc0d62552882 129464 liblablgtksourceview3-ocaml-dev_3.0~beta3-1_amd64.deb
9f406a89bad6be3958b0479ed6de7fed6937641e48d9bb2c503540bbdc9aae0a 110624 liblablgtksourceview3-ocaml_3.0~beta3-1_amd64.deb
Files:
0ca2e9e83bd0aaca35e567baa3748c9a 2465 ocaml optional lablgtk3_3.0~beta3-1.dsc
98bd776c44d3ba17ec29d809301bf68f 773143 ocaml optional lablgtk3_3.0~beta3.orig.tar.gz
ec5d903ebd20a96c029b51b55c1b2f6d 4196 ocaml optional lablgtk3_3.0~beta3-1.debian.tar.xz
2291dc5aa1d3aebf7e5492e76c28cf38 16321 ocaml optional lablgtk3_3.0~beta3-1_amd64.buildinfo
66a1dcb86479c331cda153bda2eca24a 133316 debug optional liblablgtk3-ocaml-dbgsym_3.0~beta3-1_amd64.deb
c69d7842f9444ef9795cc9172a5046f2 1282708 ocaml optional liblablgtk3-ocaml-dev_3.0~beta3-1_amd64.deb
ac0b5af929faddf36798766816c0c060 362388 doc optional liblablgtk3-ocaml-doc_3.0~beta3-1_all.deb
4023aa8bb5842454de229083d86cfacb 687676 ocaml optional liblablgtk3-ocaml_3.0~beta3-1_amd64.deb
93bda7a2b8dfc3dcd7cb8e386f44353f 17256 debug optional liblablgtksourceview3-ocaml-dbgsym_3.0~beta3-1_amd64.deb
8a0e6514237d62de58267f450aa54d4d 129464 ocaml optional liblablgtksourceview3-ocaml-dev_3.0~beta3-1_amd64.deb
e18b25c9add529800a1c488fe7b5d00b 110624 ocaml optional liblablgtksourceview3-ocaml_3.0~beta3-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlwf6GQACgkQdFxHZtTK
zf8UihAApLU8KUT98cJ07fQjx2ZXA0+b6GACpSs0GHYZXwT0mbp8QcWwTrR/01f1
QVNhd9WKABHkdZdT+em4d5FL379hfYyjdZ3bV4gjMojwNkpl5JtPMuHIpviN78eH
PCObBPTX3erxyL5D3v8/EOgLtXb9hM5thCZpkHtHVucw3jXHCSrZVAhqAtz+g8TE
d83Voyru0K+xbTMnezSdwyt8iGPEPHfGaupy3Vit50DnphoPx1fZiNA+BQwbeyO1
ZmJrFLYn6ZyPkA1uFix0ynZgqN5x4rZpdr4oDUHUyhvlA+MsVRHy92ZRU2Ob2NuC
vK/6xVLRB7Uhz1JgoanxaI92b1rKjM1rje61ePt2GFp0QO+T+V66HebvblLhclYO
9WNepSlpnMsJsr6fM7bkIPBgfW96L/r0Yxu35vP6YZKljw5wty0xB1WPWbzj15a+
3+/3sj+NR17R42J/VY5CZxp+jONgBiaKuRo3CrRyqjfrP18JXuLY8hFUeD8jPuyn
AMjGlPd3K0eTNYzcVa6UxhrJGBvZ7LdlKqXPlqtbGljW+DNgO46MjkDIWQ4U/mqv
xZd9pRBSKlviZP32q0wV+bv8/bur2zP825l3YgGDoDhmAV0lck/yySSGwLtypziv
qnLaQNDe7K7Zb5fORsaRdS/LDi/0RCqmsNGOebqpclLHs/p4gOg=
=cxzl
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: