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 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

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 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

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 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

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 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

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: 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

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 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.

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 : 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

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
 (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

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 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

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 : 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.

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: 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

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
  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

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 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.

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: 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

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 : 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

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
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

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 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