Bug#1076387: Cannot use agda-stdlib modules at all

2024-07-15 Thread Kei Hibino
denied (Permission denied) ``` open foo.agda in emacs, and `C-c C-l` gives errors like below in emacs *Error* buffer: ``` /usr/share/agda-stdlib/Data/Bool/Base.agda:11,1-37 /usr/share/agda-stdlib/Data/Unit/Base.agdai: removeLink: permission denied (Permission denied) ``` -- Kei Hibino ex8k.hib

Bug#866375: cabal-debian does not generate shlibs:Depends for -utils pacakges

2017-06-29 Thread Kei Hibino
Package: cabal-debian Version: 4.35.6-1+b1 Severity: important Tags: patch Dear Maintainer, I made example sequence of cabal-debian like following. `Depends:' block generated by cabal-debian which does not contain `${shlibs:Depends}' variable. So dependencies to shared object which are linked by

Bug#852321: Users which has soundfont packages can use this package

2017-02-10 Thread Kei Hibino
Control: severity -1 important Documentation about configuration exists in /usr/share/doc/timidity/README.Debian , and configuration files are provided in soundfont packages like freepats, fluid-soundfont-gm, fluid-soundfont-gs and timgm6mb-soundfont.

Bug#850920: Cabal-debian bundled packages

2017-01-23 Thread Kei Hibino
Hi Gianfranco, I think this outout is good because this build-depends does not contain built-in package with version constraint. On Thu, Jan 19, 2017 at 11:02 PM, Gianfranco Costamagna wrote: > Hello Kei, > On Tue, 17 Jan 2017 19:42:57 + David Fox

Bug#850920: cabal-debian fails to detect GHC built-in packages

2017-01-11 Thread Kei Hibino
Package: cabal-debian Version: 4.33-4 Severity: important Tags: patch Dear Maintainer, I made example sequence of cabal-debian like following. Build-depends lines are generated by cabal-debian like 'libghc-base-dev (<< 5)' and 'libghc-base-prof (<< 5)', but 'base' is GHC built-in package which

Bug#838057: ITP: haskell-relational-record -- A type-safe query generator

2016-09-16 Thread Kei Hibino
Package: wnpp Severity: wishlist Owner: Kei Hibino <ex8k.hib...@gmail.com> * Package name: haskell-relational-record Version : 0.1.5.1 Upstream Author : Kei Hibino <ex8k.hib...@gmail.com> * URL : http://khibino.github.io/haskell-relational-recor

Bug#834880: ITP: haskell-persistable-types-hdbc-pg -- Haskell library, HDBC and Relational-Record instances of PostgreSQL extended types

2016-08-20 Thread Kei Hibino
Package: wnpp Severity: wishlist Owner: Kei Hibino <ex8k.hib...@gmail.com> * Package name: haskell-persistable-types-hdbc-pg Version : 0.0.1.4 Upstream Author : Kei Hibino <ex8k.hib...@gmail.com> * URL : http://khibino.github.io/haskell-relational-recor

Bug#834879: ITP: haskell-relational-query-hdbc -- Haskell library, HDBC instance of relational-query and typed query interface for HDBC

2016-08-20 Thread Kei Hibino
Package: wnpp Severity: wishlist Owner: Kei Hibino <ex8k.hib...@gmail.com> * Package name: haskell-relational-query-hdbc Version : 0.6.0.2 Upstream Author : Kei Hibino <ex8k.hib...@gmail.com> * URL : http://khibino.github.io/haskell-relational-recor

Bug#834878: ITP: haskell-relational-schemas -- Haskell library, RDBMSs' schema templates for relational-query

2016-08-20 Thread Kei Hibino
Package: wnpp Severity: wishlist Owner: Kei Hibino <ex8k.hib...@gmail.com> * Package name: haskell-relational-schemas Version : 0.1.3.1 Upstream Author : Kei Hibino <ex8k.hib...@gmail.com> * URL : http://khibino.github.io/haskell-relational-recor

Bug#834877: ITP: haskell-relational-query -- Haskell library, Typeful, Modular, Relational, algebraic query building DSL

2016-08-20 Thread Kei Hibino
Package: wnpp Severity: wishlist Owner: Kei Hibino <ex8k.hib...@gmail.com> * Package name: haskell-relational-query Version : 0.8.3.1 Upstream Author : Kei Hibino <ex8k.hib...@gmail.com> * URL : http://khibino.github.io/haskell-relational-recor

Bug#834876: ITP: haskell-persistable-record -- Haskell library, binding between SQL database values and haskell records

2016-08-20 Thread Kei Hibino
Package: wnpp Severity: wishlist Owner: Kei Hibino <ex8k.hib...@gmail.com> * Package name: haskell-persistable-record Version : 0.4.0.2 Upstream Author : Key Hibino <ex8k.hib...@gmail.com> * URL : http://khibino.github.io/haskell-relational-recor

Bug#833985: ITP: haskell-hdbc-session -- Haskell library to provide bracketed connection for HDBC

2016-08-11 Thread Kei Hibino
Package: wnpp Severity: wishlist Owner: Kei Hibino <ex8k.hib...@gmail.com> * Package name: haskell-hdbc-session Version : 0.1.0.1 Upstream Author : Kei Hibino <ex8k.hib...@gmail.com> * URL : https://github.com/khibino/relational-record * License

Bug#833986: ITP: haskell-text-postgresql -- Haskell library to provide Parsers and Printers of PostgreSQL extended types

2016-08-11 Thread Kei Hibino
Package: wnpp Severity: wishlist Owner: Kei Hibino <ex8k.hib...@gmail.com> * Package name: haskell-text-postgresql Version : 0.0.2.1 Upstream Author : Kei Hibino <ex8k.hib...@gmail.com> * URL : https://github.com/khibino/relational-record * License

Bug#833032: ITP: haskell-sql-words -- Haskell library, simple idea SQL keywords data constructor into OverloadedString

2016-07-30 Thread Kei Hibino
Package: wnpp Severity: wishlist Owner: Kei Hibino <ex8k.hib...@gmail.com> * Package name: haskell-sql-words Version : 0.1.4.1 Upstream Author : Kei Hibino <ex8k.hib...@gmail.com> * URL : http://khibino.github.io/haskell-relational-record/ * License

Bug#833031: ITP: haskell-names-th -- Haskell library to manipulate name strings for Template Haskell

2016-07-30 Thread Kei Hibino
Package: wnpp Severity: wishlist Owner: Kei Hibino <ex8k.hib...@gmail.com> * Package name: haskell-names-th Version : 0.2.0.2 Upstream Author : Kei Hibino <ex8k.hib...@gmail.com> * URL : https://github.com/khibino/relational-record * License

Bug#832640: ITP: haskell-th-reify-compat -- Compatibility for the result type of TemplateHaskell reify

2016-07-27 Thread Kei Hibino
Package: wnpp Severity: wishlist Owner: Kei Hibino <ex8k.hib...@gmail.com> * Package name: haskell-th-reify-compat Version : 0.0.1.1 Upstream Author : Kei Hibino <ex8k.hib...@gmail.com> * URL : https://github.com/khibino/haskell-th-reify-compat * License

Bug#832639: ITP: haskell-quickcheck-simple -- Haskell library to provide test-properties and default-mains for QuickCheck

2016-07-27 Thread Kei Hibino
Package: wnpp Severity: wishlist Owner: Kei Hibino <ex8k.hib...@gmail.com> * Package name: haskell-quickcheck-simple Version : 0.1.0.1 Upstream Author : Kei Hibino <ex8k.hib...@gmail.com> * URL : https://github.com/khibino/haskell-quickcheck-simp

Bug#832430: ITP: haskell-th-data-compat -- Compatibility for data definition template of TemplateHaskell

2016-07-25 Thread Kei Hibino
Package: wnpp Severity: wishlist Owner: Kei Hibino <ex8k.hib...@gmail.com> * Package name: haskell-th-data-compat Version : 0.0.2.2 Upstream Author : Kei Hibino <ex8k.hib...@gmail.com> * URL : https://github.com/khibino/haskell-th-data-compat * License

Bug#814313: xorg-server: Using systemd and startx, input does not work anymore

2016-02-13 Thread Kei Hibino
Package: src:xorg-server Followup-For: Bug #814313 Dear Maintainer, I was affected with this bug, the same version 2:1.18.1-1. Input did not work anymore too. To recover this, I installed downgraded binary packages of xserver (provided in jessie, 2:1.16.4-1) which works fine. I'm not using

Bug#805346: ebnetd: /var/run/ebnetd should be recreated at each reboot other than ebnetd, for example ndtpd

2015-11-16 Thread Kei Hibino
Package: ebnetd-common Version: 1:1.0.dfsg.1-4.3 Severity: important Dear Maintainer, Ndtpd users are also affected by the bug ( http://bugs.debian.org/673943 ) via libeb. I think that the lock directory initialization script should be involved in ebnetd-common package. -- System Information:

Bug#790350: ghc-mod: Crush problem of ghc-mod

2015-06-28 Thread Kei Hibino
Package: ghc-mod Version: 5.2.1.2-1 Severity: important Dear Maintainer, Not compiled code like below (M.hs) causes ghc-mod to crush. --- {-# LANGUAGE TemplateHaskell #-} module M where import System.Environment import Language.Haskell.TH $(runIO getEnvironment return []) --- Crush

Bug#698248: odbcinst apparently ignores the -l option when used to uninstall a DSN

2013-07-11 Thread Kei Hibino
Package: odbcinst Version: 2.2.14p2-5 Followup-For: Bug #698248 Dear Maintainer, I made a small patch to fix this problem like below, diff -u -r unixodbc-2.2.14p2/exe/odbcinst.c unixodbc-2.2.14p2-fix/exe/odbcinst.c --- unixodbc-2.2.14p2/exe/odbcinst.c2013-07-11 16:36:52.0 +0900 +++