Bug#967521: haskell-yi-frontend-pango: depends on deprecated GTK 2

2023-08-24 Thread Marcel Fourné
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

Bug#1034047: fdm: Oauth2 support implemented upstream

2023-04-07 Thread Marcel Fourné
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

Bug#1025859: alacritty: provide x-terminal-emulator alternative

2022-12-10 Thread Marcel Fourné
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

Bug#1018215: libghc-hclip-dev: No support for native Wayland clipboard handling

2022-08-27 Thread Marcel Fourné
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

Bug#993313: ITP: coqword -- Coq Library for Machine Words

2021-08-30 Thread Marcel Fourné
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

Bug#991436: ITP: easycrypt -- EasyCrypt: Computer-Aided Cryptographic Proofs

2021-07-23 Thread Marcel Fourné
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

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.

2021-07-23 Thread Marcel Fourné
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

Bug#854359: dirmngr fails when reverse DNS lookups do not work

2017-03-16 Thread Marcel Fourné
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

Bug#777897: Question on yi / haskell-gtk AUTORM, reason FTBFS w/ GCC-5

2015-07-02 Thread Marcel Fourné
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

Bug#787194: ITP: haskell-charsetdetect-ae -- Charset detection using Mozilla's Universal Character Set Detector

2015-05-29 Thread Marcel Fourné
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

Bug#787198: ITP: haskell-word-trie -- Implementation of a finite trie over words.

2015-05-29 Thread Marcel Fourné
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

Bug#787204: ITP: haskell-yi-rope -- Rope data structure used by Yi

2015-05-29 Thread Marcel Fourné
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

Bug#787196: ITP: haskell-oo-prototypes -- Support for OO-like prototypes

2015-05-29 Thread Marcel Fourné
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

Bug#787200: ITP: haskell-yi-language -- Collection of language-related Yi libraries.

2015-05-29 Thread Marcel Fourné
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

Bug#787195: ITP: haskell-dynamic-state -- Optionally serializable dynamic state keyed by type

2015-05-29 Thread Marcel Fourné
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

Bug#741725: yi: FTBFS, fixed by new upstream version

2014-03-16 Thread Marcel Fourné
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

Bug#741856: yi is not in the alternatives system for /usr/bin/editor

2014-03-16 Thread Marcel Fourné
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