Bug#967521: haskell-yi-frontend-pango: depends on deprecated GTK 2
Source: haskell-yi-frontend-pango Version: 0.19.1-2 Followup-For: Bug #967521 X-Debbugs-Cc: em...@marcelfourne.de Control: forwarded -1 https://github.com/yi-editor/yi/issues/1128 There's an upstream effort underway to port it to (gi-)gtk(3) instead of getting rid of gtk completely, of which I am the upstream person working on this after feeling responsible for the Debian packages. I'm fine with the current gtk2 frontend being removed if I don't have the port in good quality sometime before the next release, will then have it uploaded later through NEW. Cheers! -- System Information: Debian Release: trixie/sid APT prefers unstable APT policy: (600, 'unstable'), (400, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 6.4.0-3-amd64 (SMP w/16 CPU threads; PREEMPT) Locale: LANG=en_US.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system)
Bug#1034047: fdm: Oauth2 support implemented upstream
Package: fdm Version: 1.9+git20181219-1+b2 Severity: normal Dear maintainer, I just found out that the Debian packaged version of fdm does not support Oauth2, but this feature has since been implemented upstream in the released version 2.0. An update to this version would allow Debian users to use fdm for fetching mail from GMail and other services, if needed. -- System Information: Debian Release: 12.0 APT prefers unstable APT policy: (990, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 6.1.0-7-amd64 (SMP w/16 CPU threads; PREEMPT) Kernel taint flags: TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE Locale: LANG=en_US.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) Versions of packages fdm depends on: ii adduser 3.132 ii libc62.36-8 ii libssl3 3.0.8-1 ii libtdb1 1.4.8-2 ii zlib1g 1:1.2.13.dfsg-1 fdm recommends no packages. fdm suggests no packages. -- debconf-show failed
Bug#1025859: alacritty: provide x-terminal-emulator alternative
Package: alacritty Version: 0.11.0-2 Severity: wishlist Currently, alacritty cannot be configured via update-alternatives --config x-terminal-emulator and the packaging does not provide an alternative for that name via Provides: x-terminal-emulator It would be nice to have this level of integration without additional steps for a user to newly install this package. If you like, I can make a patch for this. Thank you for packaging alacritty! -- System Information: Debian Release: bookworm/sid APT prefers unstable APT policy: (990, 'unstable'), (500, 'unstable-debug'), (101, 'experimental'), (1, 'experimental-debug') Architecture: amd64 (x86_64) Kernel: Linux 6.0.0-6-amd64 (SMP w/16 CPU threads; PREEMPT) Locale: LANG=en_US.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) Versions of packages alacritty depends on: ii libc6 2.36-6 ii libfontconfig1 2.13.1-4.5 ii libfreetype62.12.1+dfsg-3 ii libgcc-s1 12.2.0-9.1 ii libxcb1 1.15-1 alacritty recommends no packages. alacritty suggests no packages. -- no debconf information
Bug#1018215: libghc-hclip-dev: No support for native Wayland clipboard handling
Package: libghc-hclip-dev Version: 3.0.0.4-8 Severity: important Tags: upstream patch The text editor yi depends on this package, but clipboard handling relies relies on either xclip or xsel, neither of which work particularly well under a native Wayland (X-less) environment. Missed copy and paste events are breaking the functionality of this library as well as breaking a core functionality of yi under all editing modes while not suggesting a clean solution in the displayed error message. A proposed patch has been sent upstream under https://github.com/jetho/Hclip/pull/8/commits/394afc48ae57e9bf86c79670ef315dfe6911bf61 which would solve this issue. I intend to prepare a commit in the Debian Haskell Group fixing this issue by temporarily applying this patch downstream first so yi works better under Wayland. -- System Information: Debian Release: bookworm/sid APT prefers unstable APT policy: (990, 'unstable'), (500, 'unstable-debug'), (101, 'experimental'), (1, 'experimental-debug') Architecture: amd64 (x86_64) Kernel: Linux 5.18.0-4-amd64 (SMP w/16 CPU threads; PREEMPT) Locale: LANG=en_US.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) Versions of packages libghc-hclip-dev depends on: ii ghc [libghc-process-dev-1.6.13.2-44bc8] 9.0.2-3 ii libc62.34-6 pn libghc-base-dev-4.15.1.0-35e3f pn libghc-mtl-dev-2.2.2-683f2 ii libghc-strict-dev [libghc-strict-dev-0.4.0.1-115c3] 0.4.0.1-1 ii libgmp10 2:6.2.1+dfsg1-1 ii sgml-base1.30 libghc-hclip-dev recommends no packages. Versions of packages libghc-hclip-dev suggests: pn xclip
Bug#993313: ITP: coqword -- Coq Library for Machine Words
Package: wnpp Severity: wishlist Owner: Marcel Fourné X-Debbugs-Cc: debian-de...@lists.debian.org * Package name: coqword Version : 0 Upstream Author : Pierre-Yves Strub * URL : https://github.com/jasmin-lang/coqword * License : CECILL-B Programming Lang: Coq Description : Coq Library for Machine Words This library can be used for code which needs to interact with machine words from Coq. Main usage is in the the EasyCrypt integration of the Jasmin programming language. The package is used when extracting proofs from and therefore a dependency of the Jasmin programming language compiler to EasyCrypt and as such is relevant to implementors as well as researchers in cryptography. I plan to maintain the packages myself, but I am also very open to team maintenance for example among the Debian Ocaml Group. Since I am not a Debian Developer, I need a sponsor.
Bug#991436: ITP: easycrypt -- EasyCrypt: Computer-Aided Cryptographic Proofs
Package: wnpp Severity: wishlist Owner: Marcel Fourné X-Debbugs-Cc: debian-de...@lists.debian.org * Package name: easycrypt Version : 1.0 Upstream Author : Easycrypt-club mailing list * URL : https://www.easycrypt.info * License : CECILL-C, parts under CECILL-B Programming Lang: Ocaml Description : EasyCrypt: Computer-Aided Cryptographic Proofs EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs. The package is relevant to implementors as well as researchers in cryptography. It can be used to check proofs extracted from Jasmin programs, but is useful in itself as a framework for cryptographic protocol proofs. I plan to maintain the packages myself, but I am also very open to team maintenance for example among the Debian Ocaml Group. Since I am not a Debian Developer, I need a sponsor.
Bug#991435: ITP: jasmin-lang -- Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure.
Package: wnpp Severity: wishlist Owner: Marcel Fourné X-Debbugs-Cc: debian-de...@lists.debian.org * Package name: jasmin-lang Version : 0.1 Upstream Author : jasmin-users and developers mailing list * URL : https://github.com/jasmin-lang/jasmin/wiki * License : CECILL-B Programming Lang: Coq, Ocaml Description : Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure. The Jasmin programming language smoothly combines high-level and low-level constructs, so as to support “assembly in the head” programming. Programmers can control many low-level details that are performance-critical: instruction selection and scheduling, what registers to spill and when, etc. They can also rely on high-level abstractions (variables, functions, arrays, loops, etc.) to structure their code and make it more amenable to formal verification. The package is relevant to implementors as well as researchers in cryptography. It can be used to compile, interpret and extract programs to EasyCrypt, which is then used for the cryptographic proofs. I plan to maintain the packages myself, but I am also very open to team maintenance for example among the Debian Ocaml Group. Since I am not a Debian Developer, I need a sponsor.
Bug#854359: dirmngr fails when reverse DNS lookups do not work
Package: dirmngr Version: 2.1.18-6 Followup-For: Bug #854359 Upstream released Version 2.1.19 (https://lists.gnupg.org/pipermail/gnupg-announce/2017q1/000402.html), including commit https://git.gnupg.org/cgi-bin/gitweb.cgi?p=gnupg.git;a=commit;h=a75325faf163275674a91971e75f1018035ca348 (title: dirmngr: Do PTR lookups only for 'keyserver --hosttable'.), which should fix this bug.
Bug#777897: Question on yi / haskell-gtk AUTORM, reason FTBFS w/ GCC-5
Hi Joachim, Am Fri, 26 Jun 2015 11:21:44 +0200 schrieb Joachim Breitner: You could then check if there are new upstream versions of haskell-gtk or gtk2hs-buildtools that might fix the issue. The uploads of haskell-gtk[3] 0.13.8.1-1 and gtk2hs-buildtools 0.13.0.4-1 seem to have done the trick. I used gcc version 5.1.1 20150622 (Debian 5.1.1-12) to reproduce the bug again, but the builds went fine now (discounting the heat! ;-)). Any objections to closing the bugs #777897 and #777898? Greetings, Marcel pgpcVfKgKUXwm.pgp Description: OpenPGP digital signature
Bug#787194: ITP: haskell-charsetdetect-ae -- Charset detection using Mozilla's Universal Character Set Detector
Package: wnpp Severity: wishlist Owner: Marcel Fourné deb...@marcelfourne.de * Package name: haskell-charsetdetect-ae Version : 1.0.1 Upstream Author : Max Bolingbroke batterseapo...@hotmail.com * URL : https://hackage.haskell.org/package/charsetdetect-ae * License : LGPL-2.1+ Programming Lang: Haskell,C Description : Charset detection using Mozilla's Universal Character Set Detector Mozilla have developed a robust and efficient character set detection algorithm for use in their web browsers. The algorithm is able to detect all of the most frequently encountered character encodings totally automatically. This library wraps up their library and exposes a very simple Haskell interface to it. The library is portable, and is confirmed to work on both Unix and Windows. This package is a new dependency for yi. Will be maintained as part of debian-haskell team. A sponsor will be needed for the upload. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#787198: ITP: haskell-word-trie -- Implementation of a finite trie over words.
Package: wnpp Severity: wishlist Owner: Marcel Fourné deb...@marcelfourne.de * Package name: haskell-word-trie Version : 0.3.0 Upstream Author : Mateusz Kowalczyk * URL : https://hackage.haskell.org/package/word-trie * License : GPL-2 Programming Lang: Haskell Description : Implementation of a finite trie over words. This is a Haskell library providing an implementation of a finite trie over words. This package is a new dependency for yi. Will be maintained as part of debian-haskell team. A sponsor will be needed for the upload. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#787204: ITP: haskell-yi-rope -- Rope data structure used by Yi
Package: wnpp Severity: wishlist Owner: Marcel Fourné deb...@marcelfourne.de * Package name: haskell-yi-rope Version : 0.7.0.1 Upstream Author : Mateusz Kowalczyk * URL : https://hackage.haskell.org/package/yi-rope * License : GPL-2 Programming Lang: Haskell Description : Rope data structure used by Yi This is a Haskell library providing a rope data structure used by Yi This package is a new dependency for yi. Will be maintained as part of debian-haskell team. A sponsor will be needed for the upload. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#787196: ITP: haskell-oo-prototypes -- Support for OO-like prototypes
Package: wnpp Severity: wishlist Owner: Marcel Fourné deb...@marcelfourne.de * Package name: haskell-oo-prototypes Version : 0.1.0.0 Upstream Author : Mateusz Kowalczyk * URL : https://hackage.haskell.org/package/oo-prototypes * License : GPL-2 Programming Lang: Haskell Description : Support for OO-like prototypes This is a Haskell library providing support for OO-like prototypes This package is a new dependency for yi. Will be maintained as part of debian-haskell team. A sponsor will be needed for the upload. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#787200: ITP: haskell-yi-language -- Collection of language-related Yi libraries.
Package: wnpp Severity: wishlist Owner: Marcel Fourné deb...@marcelfourne.de * Package name: haskell-yi-language Version : 0.1.1.0 Upstream Author : Mateusz Kowalczyk * URL : https://hackage.haskell.org/package/yi-language * License : GPL-2 Programming Lang: Haskell Description : Collection of language-related Yi libraries. This is a Haskell library providing a collection of language-related Yi libraries: lexers, scanners… This package is a new dependency for yi. Will be maintained as part of debian-haskell team. A sponsor will be needed for the upload. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#787195: ITP: haskell-dynamic-state -- Optionally serializable dynamic state keyed by type
Package: wnpp Severity: wishlist Owner: Marcel Fourné deb...@marcelfourne.de * Package name: haskell-dynamic-state Version : 0.1.1.0 Upstream Author : Carter Charbonneau zcart...@gmail.com * URL : https://hackage.haskell.org/package/dynamic-state * License : GPL-2 Programming Lang: Haskell Description : Optionally serializable dynamic state keyed by type This is a Haskell library providing optionally serializable dynamic state keyed by type This package is a new dependency for yi. Will be maintained as part of debian-haskell team. A sponsor will be needed for the upload. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#741725: yi: FTBFS, fixed by new upstream version
Package: yi Version: 0.7.0-1 Severity: serious Tags: upstream patch Justification: fails to build from source (but built successfully in the past) Dear Maintainer, I tried building yi and got the following error: # apt-get build-dep yi Reading package lists... Done Building dependency tree Reading state information... Done Selected version '0.7.0-1' (unstable) for yi E: Failed to satisfy Build-Depends dependency for yi: Installed package alex is too new # A downgrade to alex 3.1.0 from testing solved this problem, but alex 3.1.3 from unstable is prohibited by yi.cabal as well as debian/control. A new upstream version of yi (0.7.1) has no upper bound on its alex dependency, so I took the new upstream tarball as well as debian/ from yi-0.7.0-1 and deleted the upper bound to the alex dependency from debian/control. The package built successfully, installed cleanly and the resulting yi binary had no obvious defects. Since I am new to debian packaging, I append my patch to debian/control -- System Information: Debian Release: jessie/sid APT prefers unstable APT policy: (990, 'unstable'), (500, 'testing'), (101, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 3.14.0-rc6 (SMP w/6 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages yi depends on: ii libatk1.0-0 2.10.0-2 ii libc62.18-4 ii libcairo21.12.16-2 ii libffi6 3.0.13-12 ii libfontconfig1 2.11.0-5 ii libfreetype6 2.5.2-1 ii libgdk-pixbuf2.0-0 2.30.6-1 ii libghc-yi-dev0.7.0-1+b5 ii libghc-yi-doc0.7.0-1 ii libglib2.0-0 2.38.2-5 ii libgmp10 2:5.1.3+dfsg-1 ii libgtk2.0-0 2.24.22-1 ii libncurses5 5.9+20140118-1 ii libpango-1.0-0 1.36.2-2 ii libpangocairo-1.0-0 1.36.2-2 ii libpangoft2-1.0-01.36.2-2 ii libtinfo55.9+20140118-1 ii zlib1g 1:1.2.8.dfsg-1 yi recommends no packages. yi suggests no packages. -- no debconf information --- yi-0.7.0/debian/control 2013-10-15 10:59:09.0 +0200 +++ yi-0.7.1/debian/control 2014-03-16 09:03:44.584639000 +0100 @@ -85,7 +85,6 @@ , libghc-xdg-basedir-dev ( 0.3) , libghc-xdg-basedir-prof , alex (= 3.0.3) - , alex (= 3.1.1) , libghc-gtk-dev , libghc-gtk-prof , libghc-vte-dev
Bug#741856: yi is not in the alternatives system for /usr/bin/editor
Package: yi Version: 0.7.0-1 Severity: wishlist Tags: patch Hi, I tried to change my default editor to yi, but right now one needs to manually add it for update-alternatives. Since yi is a full fledged (programmable) text editor, it would be nice to simply $ update-alternatives --config editor and select yi from the list or have it selected automatically if no other editor is installed. Also yi is listed under Section misc instead of editors, which is counterintuitive to me but no big annoyance. I took the freedom to attach yi.postinst and yi.prerm files compatible to the current yi packaging, which are almost identical to those in the zile package. They are tested to be idempotent and quiet. A patch to debian/control to move yi from misc to editors is also attached and would make yi more discoverable to people looking for a new editor, raising the usefulness of yi in Debian. Thank you and have a good time, Marcel -- System Information: Debian Release: jessie/sid APT prefers unstable APT policy: (990, 'unstable'), (500, 'testing'), (101, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 3.14.0-rc6 (SMP w/6 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages yi depends on: ii libatk1.0-0 2.10.0-2 ii libc62.18-4 ii libcairo21.12.16-2 ii libffi6 3.0.13-12 ii libfontconfig1 2.11.0-5 ii libfreetype6 2.5.2-1 ii libgdk-pixbuf2.0-0 2.30.6-1 ii libghc-yi-dev0.7.0-1+b5 ii libghc-yi-doc0.7.0-1 ii libglib2.0-0 2.38.2-5 ii libgmp10 2:5.1.3+dfsg-1 ii libgtk2.0-0 2.24.22-1 ii libncurses5 5.9+20140118-1 ii libpango-1.0-0 1.36.2-2 ii libpangocairo-1.0-0 1.36.2-2 ii libpangoft2-1.0-01.36.2-2 ii libtinfo55.9+20140118-1 ii zlib1g 1:1.2.8.dfsg-1 yi recommends no packages. yi suggests no packages. -- no debconf information #!/bin/sh set -e update-alternatives --install /usr/bin/editor editor /usr/bin/yi 30 \ --slave /usr/share/man/man1/editor.1.gz editor.1.gz /usr/share/man/man1/yi.1.gz #DEBHELPER# exit 0 #!/bin/sh set -e if [ $1 != upgrade ] then update-alternatives --remove editor /usr/bin/yi fi #DEBHELPER# exit 0 --- a/debian/control 2013-10-15 10:59:09.0 +0200 +++ b/debian/control 2014-03-16 11:56:23.0 +0100 @@ -171,7 +170,7 @@ Package: yi Architecture: any -Section: misc +Section: editors Depends: ${shlibs:Depends}, ${haskell:Depends}, ${misc:Depends} , libghc-yi-dev, libghc-yi-doc Description: Haskell-Scriptable Editor