debian-haskell August 2006

debian-haskell@lists.urchin.earth.li

6 participants
8 discussions

Re: libghc6-wxhaskell-dev
by Isaac Jones 28 Oct '06

28 Oct '06

Looks like a new version of this package needs to be built, but I'm not really maintaining this package. Maybe the debian-haskell list can help? peace, isaac Martin Flack <martin(a)martinflack.com> writes: > Hi Isaac, > > I'm trying to install the package libghc6-wxhaskell-dev from > haskell-unsafe.alioth.debian.org so I can try writing some simple > Haskell programs on my Ubuntu Dapper desktop. > > Unfortunately I receive this error: > The following packages have unmet dependencies. > libghc6-wxhaskell-dev: Depends: ghc6 (< 6.2.3) but 6.4.1-2ubuntu2 is > to be installed > > Also the ghc package on the same repo seems to be 6.4.1-1 so I'm not > sure what to do. Do I have to find a 6.2.3 package and downgrade or is > there an update to libghc6-wxhaskell-dev available somewhere? > > I tried compiling the source but I get C++ errors. I'd rather figure it > out on a package level though. > > Thank you very much for any help you can give! > > Cheers, > Martin Flack

3 3

ghc-cvs updated
by Ian Lynagh 29 Aug '06

29 Aug '06

Hi all, Yesterday I updated ghc-cvs in unstable to 20060826-1. So far it's there for i386 and amd64. It's probably fairly close to what 6.6 will end up looking like. I haven't packaged anything from extralibs yet (but I plan to for 6.6). Thanks Ian

1 0

Haskell / Full-fledge verified OS
by William DUCK 25 Aug '06

25 Aug '06

Hello Misters, As you are iin functional programming, I am asking your help. I am attempting to build up a team. I believe it's time for a full-fledge verified OS. http://www.ertos.nicta.com.au/publications/papers/Tuch_KH_05.pdf Here are my guidelines : http://www.cse.ogi.edu/~hallgren/House/ *OS-design : http://www.ertos.nicta.com.au/publications/papers/Leslie_06.pdf ( for transition ) http://www.marcus-brinkmann.org/hurd-ng.pdf http://www.eecg.toronto.edu/~tornado/ ( scalability / hot swapping ) *kernel : http://os.inf.tu-dresden.de/L4/L4.Sec/ http://www.doclsf.de/papers/vstte06.pdf#search=%22formalising%20high%20perf… *network stack : http://www.cl.cam.ac.uk/~pes20/Netsem/ *programming : http://fling-l.seas.upenn.edu/~plclub/cgi-bin/poplmark/index.php?title=The_… http://www.informatik.uni-bonn.de/~loeh/GFP.html http://maude.cs.uiuc.edu/tools/scc/ *proving environment : http://isabelle.in.tum.de/ http://www.cl.cam.ac.uk/Research/HVG/HOL/ *compiler : http://pauillac.inria.fr/~xleroy/compcert-backend/ http://www.score.is.tsukuba.ac.jp/~okuma/vc/ Any suggestions ? Thank you for your answer, If you want to contact me, my mail is guillaume_dot_fortaine_at_wanadoo_dot_fr I will set up a mailing-list, a web server, a wiki and an IRC Best Regards, Best Regards, Guillaume FORTAINE

1 0

Building a package for personal use
by Johan Tibell 19 Aug '06

19 Aug '06

Hi, I would like to build deb packages of some libraries and maybe also GHC 6.5 for personal use (so I can uninstall the stuff easily later). What would the steps be? Thanks in advance, Johan Tibell

2 5

New updates for cabalDebianTemplate & haskell-devscripts with profiling support
by Jeremy Shaw 15 Aug '06

15 Aug '06

Hello, Two announcements: new version of haskell-devscripts and new version of cabalDebianTemplate! It would be great to get some feedback on these updates before the GHC 6.6 release. Since people will already be rebuilding their packages for the new version of GHC 6.6, it will be a great time for people to also add profiling packages. haskell-devscripts 0.5.12 ------------------------- haskell-devscripts now supports building profiling libraries for GHC. All you should need to do is: 1. update your Build-Depends to haskell-devscripts (>= 0.5.12) 2. in debian/control: i. copy the libghc6-*-dev paragraph to libghc6-*-prof ii. in the libghc6-*-prof paragraph: a. change Depends on libghc6-*-dev packages to libghc6-*-prof packages b. update the Description to mention profiling cabalDebianTemplate ------------------- http://www.n-heptane.com/nhlab/repos/cabalDebianTemplate/ I have incorporated the following changes: + Build profiling libraries by default using new haskell-devscripts + Greatly improved instructions in INSTRUCTIONS.txt + Included a bit of information about using update-debian-control to maintain the build and install dependencies in INSTRUCTIONS.txt + Cleaned up debian/rules and debian/control If you find errors in INSTRUCTIONS.txt, or can think of a better way to explain a step, please submit a report and/or patch. Thanks! j.

2 1

Functional Programming / Operating systems
by Guillaume FORTAINE 09 Aug '06

09 Aug '06

Hello, As you are functional programming lovers and interested in bringing a better visibility to this idea : http://www.haskell.org/pipermail/haskell/2006-June/018045.html I invite you to join us here : http://lists.gnu.org/archive/html/l4-hurd/ Best Regards, Guillaume FORTAINE Here is my last message : Hello Mr Walfield, Here are very interesting links : http://www.cs.mu.oz.au/research/mercury/information/related.html http://maude.cs.uiuc.edu/tools/scc/ http://www.verisoft.de/.rsrc/PublikationSeite/PaulVSTTE05-final.pdf I believe that the *main* problem for HURD will not be the design or something else. It would be the adhesion of a large community to a well-defined language. It's clear that the best option would be to get rid of C ... :-) . http://tunes.org/Tunes-FAQ.html#toc2.3 Here is my point of view Language ( Mix of Mercury/Clean/Bitc ???) => Kernel ( coyotos )=> OS ( compiler : Bitc ( verified compiler )?, replacement of glibc, device driver framework : http://symbolx.org/ddf.html ). As the L4 kernel has no more leader, and the community doesn't seem to be very reactive, the only suitable alternative is the coyotos project. A good start point is the HOuse project : HOuse : http://www.cse.ogi.edu/~hallgren/House/ Best Regards, Guillaume FORTAINE

1 0

Bug#382184: ITP: haskell-edison -- Haskell library of efficent, purely-functional data structures
by Arjan Oosting 09 Aug '06

09 Aug '06

Package: wnpp Severity: wishlist Owner: Arjan Oosting <arjanoosting(a)home.nl> -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 * Package name : haskell-edison Version : 1.2.0.1 Upstream Author : Original author Chris Okasaki, currently maintained by Robert Dockins <robdockins(a)fastmail.fm> * URL : http://www.eecs.tufts.edu/~rdocki01/edison.html * License : MIT/X Programming Lang: Haskell Description : Haskell library of efficent, purely-functional data structures Long description: Edison is a library of purely function data structures for Haskell originally written by Chris Okasaki. Conceptually, it consists of two things: - A set of type classes defining data the following data structure abstractions: 'sequences', 'collections' and 'associative collections' - Multiple concrete implementations of each of the abstractions The debian package will consists out of 5 binary packages: libghc6-edison-api-dev : the Edison API (the type classes) for use with ghc6 libghc6-edison-core-dev: some implementations of the Edison API for use with ghc6 libhugs-edison-api : the Edison API (the type classes) for use with hugs libhugs-edison-core : some implementations of the Edison API for use with hugs haskell-edison : API documentation The packages will be available from my website [1] as soon as I know the bugnumber of this ITP. Greetings Arjan - -- System Information: Debian Release: testing/unstable APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (101, 'experimental') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.17-3-nebula Locale: LANG=nl_NL.UTF-8, LC_CTYPE=nl_NL.UTF-8 (charmap=UTF-8) -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.5 (GNU/Linux) iD8DBQFE2d2+UALvsZYuOJARAmNbAKCN3qcJ95LnRNv6jE1MYdBvVyDGrwCg3eF+ mwDgcRg8uptLoB9e8WZYw+o= =Ubos -----END PGP SIGNATURE-----

1 0

Updated lhs2TeX 1.11.
by Liyang HU 01 Aug '06

01 Aug '06

Hi, I got bored and updated lhsTeX to version 1.11. http://carwash.cs.nott.ac.uk:992/~lyh/debian/ If anyone feels like uploading it to the official archives, feel free. Cheers, /Liyang

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

debian-haskell August 2006