letely unwieldy for a single contributor.
I'll trust you and consequently I will not attempt to do this on my
own.
Does anyone else see benefits in having Agda and/or libghc-* packages
backported? If so, would you be able to help out?
Kind regards,
Marko Dimjašević
signature.asc
Description: This
> from
> stable. Keeping it up-to-date is a requirement of the official
> backports policy.
I'm willing to do that if you find it feasible.
I get quite a list of packages to be upgraded if I attempt to install
Agda from unstable on top of buster:
ghc libc-bin libc-dev-bin libc-l10n libc6 l
Hello,
On Thu 03 Oct 2019 at 10:03PM +02, Marko Dimjašević wrote:
> ghc libc-bin libc-dev-bin libc-l10n libc6 libc6-dev libghc-agda-dev
> libghc-async-dev libghc-attoparsec-dev libghc-base-compat-dev
> libghc-blaze-builder-dev libghc-blaze-html-dev libghc-blaze-markup-
> dev libg
Hello Marko,
On Thu 03 Oct 2019 at 09:29AM +02, Marko Dimjašević wrote:
> I would be interested in porting Agda 2.6.0.1 from unstable to Buster
> backports. I have prior experience with packaging for Debian so I am
> not a total stranger here.
>
> Any comments and pointers if t
Dear all,
I'd like to help with maintaining Agda packages in Debian. I have some
prior experience in Debian package development (I packaged a C++ tool,
though that was a while ago).
In particular, I see that the latest packaged version of Agda is
2.5.4.1:
https://packages.debian.org/sid/agda
Package: wnpp
Severity: normal
Hi there,
I'm not involved in this area any more. I've been basically ignoring the
package and people from the Haskell team have been kindly uploading it
in my absence.
I'd like it if someone were to take it off my hands. That will probably
be the Haskell team,
Package: ftp.debian.org
Severity: normal
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hi,
in the latest version, agda is not reasonably buildable on weaker
architectures. In order to unblock the testing migration of Haskell
packages, please remove the binaries produced by the agda source
Hello,
agda-stdlib has been pushed to collab-maint and is ready for upload.
--
Sean Whitton
signature.asc
Description: PGP signature
Hello,
Thanks to Clint for uploading haskell-monadplus.
agda is ready for upload in DHG_packages.git.
The branches master and pristine-tar of the collab-maint agda-stdlib
repo can be fast-forwarded to the corresponding branches in my repo.[1]
Once monadplus and agda clear NEW, it can
control: owner -1 !
Dear Andreas,
On Sat, Jun 11, 2016 at 10:46:20AM +0200, Andreas Beckmann wrote:
> Source: agda
> Version: 2.4.2.5-1
> Severity: serious
> Justification: fails to build from source (but built successfully in the past)
>
> Hi,
>
> agda cannot be bu
Hello,
On Sun, Jun 05, 2016 at 02:38:01PM +0200, Joachim Breitner wrote:
> since Agda does not live with the other packages, I forgot about it.
> Does anyone feel like upgrading it to 2.5.1?
I got agda 2.5.1 to build but I haven't been able to test it (esp. the
new dh_elpa package) bec
Hi,
Am Donnerstag, den 09.06.2016, 08:30 + schrieb Sean Whitton:
> * Package new upstream version.
> + - Build dependency bounds updated to match Agda.cabal.
> + - New build dependencies:
> + - ghc-prof
> + - libghc-edison-core-*
> + - libghc-edison-api-*
> + -
On Mon, 6 Jun 2016 17:53:52 +0900
Sean Whitton <spwhit...@spwhitton.name> wrote:
> On Mon, Jun 06, 2016 at 09:15:32AM +0100, Iain Lane wrote:
> > Go for it. I also think that Agda ought to be integrated into the rest
> > of the DHG's packages if possible - it would be
On Mon, Jun 06, 2016 at 09:15:32AM +0100, Iain Lane wrote:
> Go for it. I also think that Agda ought to be integrated into the rest
> of the DHG's packages if possible - it would be good if you could do
> that at the same time.
Given that it builds a binary package installing an Emacs mo
On Mon, Jun 06, 2016 at 02:07:18PM +0900, Sean Whitton wrote:
> Dear Iain,
>
> On Sun, Jun 05, 2016 at 02:38:01PM +0200, Joachim Breitner wrote:
> > since Agda does not live with the other packages, I forgot about it.
> > Does anyone feel like upgrading it to 2.5.1?
>
&g
Dear Iain,
On Sun, Jun 05, 2016 at 02:38:01PM +0200, Joachim Breitner wrote:
> since Agda does not live with the other packages, I forgot about it.
> Does anyone feel like upgrading it to 2.5.1?
Since you made an upload fairly recently I wanted to check with you
before doing this.
Hi,
since Agda does not live with the other packages, I forgot about it.
Does anyone feel like upgrading it to 2.5.1?
Thanks,
Joachim
--
Joachim “nomeata” Breitner
Debian Developer
nome...@debian.org • https://people.debian.org/~nomeata
XMPP: nome...@joachim-breitner.de • GPG-Key
was not complete when I uploaded a bunch of
packages to jessie-backports, and these uploads were now rejected
because the packages are not in testing (haskell-network, haskell
-http). They would be if we could update agda, preferably without
updating others, with high urgency.
Does that motivate
On Wed, Jul 22, 2015 at 10:55:13AM +0100, Iain Lane wrote:
On Wed, Jul 22, 2015 at 11:43:04AM +0200, Hans Joachim Desserud wrote:
Source: agda
Version: 2.4.2.2-3
Severity: important
Dear Maintainer,
You may already be aware of this, but agda fails to build from source
Hi Laney,
would you mind uploading Agda-2.4.2, and while doing so, patch the cabal
file to allow for transformers 0.4? I tested it with cabal, it seems to
work:
https://code.google.com/p/agda/issues/detail?id=1277
Greetings,
Joachim
--
Joachim nomeata Breitner
Debian Developer
nome
On Sun, Sep 07, 2014 at 10:54:08AM +0200, Joachim Breitner wrote:
Hi Laney,
would you mind uploading Agda-2.4.2, and while doing so, patch the cabal
file to allow for transformers 0.4? I tested it with cabal, it seems to
work:
https://code.google.com/p/agda/issues/detail?id=1277
Roger. I'm
Hi,
Am Sonntag, den 07.09.2014, 20:02 +0100 schrieb Iain Lane:
On Sun, Sep 07, 2014 at 10:54:08AM +0200, Joachim Breitner wrote:
Hi Laney,
would you mind uploading Agda-2.4.2, and while doing so, patch the cabal
file to allow for transformers 0.4? I tested it with cabal, it seems
agda is failing on hurd-i386 and powerpc because haskell-quickcheck uses
an overly-restrictive test to decide whether it needs to build the
Test.QuickCheck.All module. I've just uploaded 2.7.6-3 to fix this;
could you please set the following dep-wait so that agda will be retried
Colin Watson cjwat...@debian.org (2014-08-10):
agda is failing on hurd-i386 and powerpc because haskell-quickcheck uses
an overly-restrictive test to decide whether it needs to build the
Test.QuickCheck.All module. I've just uploaded 2.7.6-3 to fix this;
could you please set the following dep
On 2013-11-02 21:19, Andreas Abel wrote:
Eh, seriously, I you plan to ship that garbage with the next Linux
distro, I'd say no, that is after all a bit embarrasing...
It is easy to generate the small tar-ball from the big one:
cabal unpack Agda-2.3.2.2 cd Agda-2.3.2.2 \
cabal
, just push a clean release to hackage and we’ll happily skip
2.3.2.2 :)
Greetings,
Joachim
___
Agda mailing list
a...@lists.chalmers.se
https://lists.chalmers.se/mailman/listinfo/agda
--
To UNSUBSCRIBE, email to debian-haskell-requ
Dear Andreas,
Am Sonntag, den 03.11.2013, 19:39 +0100 schrieb Andreas Abel:
2.3.2.2 has been released primarily for the Windows users. And it has
improved cabal dependency constraints. Does it make sense for the Linux
distro to stick with 2.3.2.1, or does it build no longer?
We are
Hi,
Am Sonntag, den 03.11.2013, 20:10 +0100 schrieb Andreas Abel:
On 03.11.2013 20:03, Joachim Breitner wrote:
indeed Debian needs a version that works with 1.14, so a 2.3.2.3 with
support for that, but no leaked date would be nice.
That meant cabal 1.14, I'd guess, right?
sorry:
On 2013-11-01 18:33, Joachim Breitner wrote:
there are lots of changes in the package, including benchmark logs that
look like data that are not meant to be released.
http://hdiff.luite.com/cgit/Agda/diff/?id=2.3.2.2id2=2.3.2.1
We generate two kinds of tar balls, one for the Agda wiki
Yeah, this time you got the complete content of our attic shipped with
Agda: There are excitings things like our email addresses and our
glorious test suite, but then there are heaps of junk containing
rejected papers, stale to-do lists, examples that were sexy 6 years
ago... Enjoy! :)
Eh
Hi,
Am Samstag, den 02.11.2013, 21:19 +0100 schrieb Andreas Abel:
Eh, seriously, I you plan to ship that garbage with the next Linux
distro, I'd say no, that is after all a bit embarrasing...
no problem, just push a clean release to hackage and we’ll happily skip
2.3.2.2 :)
Greetings,
Hi,
Am Freitag, den 18.10.2013, 09:10 +0100 schrieb Iain Lane:
I stopped because Louis told me to.
Should I upload?
I believe there was a misunderstanding.
@Louis, from what I understood Iain has cherry-picked patches for alex
compatibility from upstream that are working, and is ready
-installation_sid_install_haskell/143/
only Agda remains to be fixed. There is no new Agda version, so we need
to patch it. Louis, can you see if Agda builds if you allow the newer
hashable?
hmpf, Agda already specifies
hashable = 1.1.2.3 1.3,
but the build
uploading yi right now. According to
http://jenkins.debian.net/job/chroot-installation_sid_install_haskell/143/
only Agda remains to be fixed. There is no new Agda version, so we
need to patch it. Louis, can you see if Agda builds if you allow the
newer hashable?
hmpf, Agda
Hi,
I’m uploading yi right now. According to
http://jenkins.debian.net/job/chroot-installation_sid_install_haskell/143/ only
Agda remains to be fixed. There is no new Agda version, so we need to patch it.
Louis, can you see if Agda builds if you allow the newer hashable?
Thanks,
Joachim
Hi Iain
Am Dienstag, den 15.10.2013, 11:00 +0200 schrieb Joachim Breitner:
I’m uploading yi right now. According to
http://jenkins.debian.net/job/chroot-installation_sid_install_haskell/143/
only Agda remains to be fixed. There is no new Agda version, so we need to
patch it. Louis, can you
Le 15. 10. 13 11:00, Joachim Breitner a écrit :
Hi,
I’m uploading yi right now. According to
http://jenkins.debian.net/job/chroot-installation_sid_install_haskell/143/ only
Agda remains to be fixed. There is no new Agda version, so we need to patch it.
Louis, can you see if Agda builds if you
Le 15. 10. 13 11:19, Louis Bettens a écrit :
Hi,
Yes. There was a discrepency between Agda.cabal and debian/control, the
former said hashable up to 1.3 and the latter to 1.2. It's fixed. I'm
trying with pbuilder.
Louis
Oh, I see. Agda is on a git repo. I had an old checkout in my
~/pkg
On Tue, Oct 15, 2013 at 11:15:59AM +0200, Joachim Breitner wrote:
Hi Iain
Am Dienstag, den 15.10.2013, 11:00 +0200 schrieb Joachim Breitner:
I’m uploading yi right now. According to
http://jenkins.debian.net/job/chroot-installation_sid_install_haskell/143/
only Agda remains to be fixed
Hi,
Le 15. 10. 13 11:57, Iain Lane a écrit :
Doing. I only noticed that one, but it also needs a cherry-picked
upstream patch for Alex 3.1.
The patch called “Support for Alex 3.1” seems to do. It just bumps the
dependency. It passes pdebuild.
There's a lot of patches in the agda repo
. It passes pdebuild.
There's a lot of patches in the agda repo between the 2.3.2.1 tag
and this patch, but I don't know yet which of them could have an
impact on this issue. Can I solve it, please?
What do you want to do?
--
Iain Lane [ i...@orangesquash.org.uk
Hi Iain,
the agda package build-depends on syb ( 0.4) and hence is not
buildable:
https://buildd.debian.org/status/package.php?p=agdasuite=sid
It seems that agda no longer depends on syb, so you can just remove the
build depends (and maybe check the other build dependencies while you
Package: ftp.debian.org
Severity: normal
Hi,
With the upload of agda to unstable, agda-bin is now obsolete — its
binary package is now built from agda.
Please remove it humanely.
Thanks!
--
Iain Lane [ i...@orangesquash.org.uk ]
Debian Developer
Dear Joachim.
I think newer /usr/sbin/update-hoogle is too slow for old PC.
root@casper:~# echo 3 /proc/sys/vm/drop_caches
root@casper:~# time find /usr/share/doc -wholename
/usr/share/doc/ghc-doc/html/libraries/*/*.txt* -or -wholename
/usr/share/doc/libghc-*-doc/html/*.txt /dev/null
real
Kiwamu Okabe wrote:
Hi, Erik.
On Thu, Sep 13, 2012 at 1:26 AM, Erik de Castro Lopo
mle...@mega-nerd.com wrote:
Underscores in the names of installed binaries are somewhat unusual.
Why not call it haddock-collect instead?
I didn't know it.
It has new name haddock-collect on darcs
Hi, Erik.
On Thu, Sep 13, 2012 at 3:54 PM, Erik de Castro Lopo
mle...@mega-nerd.com wrote:
One other thing, I notice the current version on hackage is 4.2.13
but the current package is 4.2.10.
Hoogle 4.2.11-13 depend on many packages that are newer than Debian's.
Until wheezy is released, we
Hi, all.
Hoogle package has been ready for upload.
Someone can sponsor upload?
Best regards,
--
Kiwamu Okabe
--
To UNSUBSCRIBE, email to debian-haskell-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive:
Hi,
Am Mittwoch, den 12.09.2012, 09:54 +0900 schrieb Kiwamu Okabe:
The reason is for my own taste.
But I agree your point that say some people will install hoogle without ghc.
New debian/rules compiles haddock_collect.hs with command
ghc -Wall -O haddock_collect.hs; strip haddock_collect.
Kiwamu Okabe wrote:
The reason is for my own taste.
But I agree your point that say some people will install hoogle without ghc.
New debian/rules compiles haddock_collect.hs with command
ghc -Wall -O haddock_collect.hs; strip haddock_collect.
And haddock_collect binary is more fast than
Hi, Erik.
On Thu, Sep 13, 2012 at 1:26 AM, Erik de Castro Lopo
mle...@mega-nerd.com wrote:
Underscores in the names of installed binaries are somewhat unusual.
Why not call it haddock-collect instead?
I didn't know it.
It has new name haddock-collect on darcs repo, now.
Thank's,
--
Kiwamu
Hi, all.
On Sun, Sep 9, 2012 at 6:43 PM, Joachim Breitner nome...@debian.org wrote:
But I am so happy, if you dput my old version hoogle package to sid when
ready.
that is an excellent idea. Adding new packages to sid does not affect
the release in any way. If you prepare a hoogle package
Hi,
Am Dienstag, den 11.09.2012, 20:50 +0900 schrieb Kiwamu Okabe:
On Sun, Sep 9, 2012 at 6:43 PM, Joachim Breitner nome...@debian.org wrote:
But I am so happy, if you dput my old version hoogle package to sid when
ready.
that is an excellent idea. Adding new packages to sid does not
Dear Joachim.
On Wed, Sep 12, 2012 at 5:32 AM, Joachim Breitner nome...@debian.org wrote:
I see you added a .hs file to the package that is run using runhaskell.
Why are you not compiling this at build time and ship it as a binary?
Seems to be more efficient, reduces dependencies (ok, few
Hi,
Am Sonntag, den 09.09.2012, 18:13 +0900 schrieb Kiwamu Okabe:
Hmm, I don’t think this is easily possible in experimental.
Other’s opinions?
How about use old version hoogle for testing on sid.
Hoogle version 4.2.10 depends on haskell-src-exts (≥1.9 1.12).
The hoogle is able to
Hi, all.
I am trying to pack hoogle as Debian's cgi service (same way as dwww package).
But latest hoogle package depends on newer haskell-src-exts and
http-types than Debian packages.
Anyone can dput haskell-src-exts and agda?
The haskell-src-exts source package can be dputted without any
Hi,
Am Samstag, den 08.09.2012, 20:57 +0900 schrieb Kiwamu Okabe:
I am trying to pack hoogle as Debian's cgi service (same way as dwww package).
But latest hoogle package depends on newer haskell-src-exts and
http-types than Debian packages.
Anyone can dput haskell-src-exts and agda?
I am
On Wed, Mar 7, 2012 at 3:09 PM, Joachim Breitner nome...@debian.org wrote:
Dear Ulf,
we are in the process of updating all Haskell packages in Debian to be
compatible with GHC 7.4.1, and the Agda package are one of the few
left who do not have a compatible version on hackage. I see
, and the Agda package are one of the
few
left who do not have a compatible version on hackage. I see
that the
darcs version of Agda is already prepared for GHC 7.4.1 – do
you plan to
update the package on hackage soon? We’d appreciate a minor
Dear Ulf,
we are in the process of updating all Haskell packages in Debian to be
compatible with GHC 7.4.1, and the Agda package are one of the few
left who do not have a compatible version on hackage. I see that the
darcs version of Agda is already prepared for GHC 7.4.1 – do you plan to
update
Package: ftp.debian.org
Severity: normal
Hi,
Seems haskell-src-exts is no longer around on these arches since the
last upload/migration of agda. It's not going to be possible to build
agda-bin on these arches until that is fixed; please remove it.
Cheers,
Iain
--
To UNSUBSCRIBE, email
On 15/12/2010 12:46, Iain Lane wrote:
Please upload them, I'll see what I can do with stdlib soon. In the
meantime it's easy for users to download and install it themselves if
they wish.
dput fired. :-)
Gio.
--
Giovanni Mascellani mascell...@poisson.phc.unipi.it
Pisa, Italy
Web:
: two files[1] seem to be generated during
compilation; given that they occupy more than half a MB, I'd consider
the option of repackaging.
[1] dist/build/Agda/Syntax/Parser/{Lexer,Parser}.hs
I wouldn't like to repackage for such a change, but will speak to
upstream about fixing for the next
that they occupy more than half a MB, I'd consider
the option of repackaging.
[1] dist/build/Agda/Syntax/Parser/{Lexer,Parser}.hs
At least, I'd try to prevent this error:
[21:06] giova...@edelstein:~/packages/sponsor/agda$ git reset --hard
HEAD is now at 7af4fc6 Update changelog
[21:06] giova
Il 12/12/2010 21:09, Giovanni Mascellani ha scritto:
I'll try to build them all as soon as my experimental chroot is ready! :-)
Just for the record, I won't have time to work again on this package
until this evening (on GMT+01).
Giovanni.
--
Giovanni Mascellani mascell...@poisson.phc.unipi.it
Hiya,
I've just updated these packages in git and would appreciate a
sponsor.
Note that agda-stdlib depends on agda-bin depends on agda so you'll
need to either arrange to build against the new versions locally or
upload and wait for dinstall/mirror push in sequence. :-)
Cheers,
Iain
On Sat, Dec 11, 2010 at 04:20:00PM +, Iain Lane wrote:
Hiya,
I've just updated these packages in git and would appreciate a
sponsor.
Note that agda-stdlib depends on agda-bin depends on agda so you'll
need to either arrange to build against the new versions locally or
upload and wait
Hi,
Am Mittwoch, den 06.01.2010, 00:03 + schrieb Iain Lane:
I've just updated agda and agda-bin to the new upstream releases. Please
consider sponsoring.
I won’t get to it today. Unless someone else is faster, I’ll do it
within the next days.
For agda, I have updated the 50agda.el file
Hiya,
I've just updated agda and agda-bin to the new upstream releases. Please
consider sponsoring. For agda, I have updated the 50agda.el file that is
shipped to make the emacs mode work based on some feedback from
upstream. It looks fine to me, but more eyes would be nice as I don't
really
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hi,
A new GHC release has been uploaded to sid since agda hit NEW. The
binary in the archive thus has incorrect deps and is uninstallable.
Please binNMU it.
nmu agda_2.2.4+dfsg-1 . amd64 -m 'Rebuild against GHC6 6.10.4'
Regards,
Iain
Iain Lane wrote:
Hi,
A new GHC release has been uploaded to sid since agda hit NEW. The
binary in the archive thus has incorrect deps and is uninstallable.
Please binNMU it.
nmu agda_2.2.4+dfsg-1 . amd64 -m 'Rebuild against GHC6 6.10.4'
Someone already scheduled the binNMU.
Cheers
Luk
Am Freitag, 24. Juli 2009 16:36 schrieb Joachim Breitner:
Hi,
Am Freitag, den 24.07.2009, 14:30 +0100 schrieb Iain Lane:
On 24 Jul 2009, at 14:10, Joachim Breitner wrote:
there is also the relatively common variant agda-bin.
How is this any better than -executable though? Seems to me
to 3.8.2
* debian/control: Fix standards-version to 3.8.2
* debian/copyright: Fix encoding to UTF-8 (thanks Lintian)
diff --git a/debian/changelog b/debian/changelog
index 96b412a..58f3aad 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+agda (2.2.4+dfsg
Hi,
On 24 Jul 2009, at 14:10, Joachim Breitner wrote:
there is also the relatively common variant agda-bin.
How is this any better than -executable though? Seems to me like the
same issues apply to both.
Regards,
Iain
This message has been checked for viruses but the contents
Hi,
Am Freitag, den 24.07.2009, 14:30 +0100 schrieb Iain Lane:
On 24 Jul 2009, at 14:10, Joachim Breitner wrote:
there is also the relatively common variant agda-bin.
How is this any better than -executable though? Seems to me like the
same issues apply to both.
it is more common
Wolfgang Jeltsch g9ks1...@acme.softbase.org writes:
Am Montag, 20. Juli 2009 12:23 schrieb Iain Lane:
* Package name: agda-executable
Why agda-exectuable? Wouldn’t it be more common to name this package
agda-cli?
Why can't it just be agda? Even if there's a separate library
package
Package: wnpp
Severity: wishlist
Owner: Iain Lane la...@ubuntu.com
* Package name: agda-executable
Version : 2.2.4
Upstream Author : Ulf Norell, Nils Anders Danielsson, Catarina Coquand,
Makoto Takeyama, Andreas Abel, ...
* URL : http://wiki.portal.chalmers.se/agda
Hi,
Am Sonntag, den 12.07.2009, 01:45 +0100 schrieb Iain Lane:
Could you upload? Thanks for sorting out the rebuilds by the way.
Done and tagged. Please make sure you are subscribed to
pkg-haskell-maintain...@lists.alioth.debian.org, to receive the
bugreports etc. :-)
Greetings,
Joachim
--
:
4c8bc5215c3630f46b18a724db51651f 1080804 doc optional haskell-agda-
doc_2.2.2-1_all.deb
bcbaf50d268c7405aad8c022976ae403 36222 misc optional agda-
mode_2.2.2-1_all.deb
bcfc808e4d132447024cd0233412ed7b 8020272 haskell optional libghc6-
agda-dev_2.2.2-1_i386.deb
e28ce2fd9881731d75fd8bb250e8236c
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hello,
On 5 Jul 2009, at 11:13, Joachim Breitner wrote:
I looked again over the contents of debian/, and it seems fine. Do you
want it to be uploaded now?
If you could that would be great, thanks a lot.
Iain
-BEGIN PGP SIGNATURE-
Hi,
Am Sonntag, den 21.06.2009, 01:26 +0100 schrieb Iain Lane:
On 19 Jun 2009, at 17:06, Joachim Breitner wrote:
Do you mean 'should not be built by default'? If it is possible to
ship both in the same hackage package and not install the executable
by default yet be able to install it
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hi,
On 19 Jun 2009, at 17:06, Joachim Breitner wrote:
...
Is there any reason why this is not shipped in the agda library by
upstream, just as agda-mode is? If it should be be built by default,
it
could be achieved by a cabal flag.
[sorry
Hi.
Em Sex, 2009-06-19 às 13:10 +0100, Iain Lane escreveu:
On 19 Jun 2009, at 08:13, Wolfgang Jeltsch wrote:
Am Donnerstag, 18. Juni 2009 11:50 schrieb la...@ubuntu.com:
I'm seeking a review/sponsor for my NEW package, Agda.
(...)
thanks a lot for packaging Agda for Debian.
What does
On 19 Jun 2009, at 14:16, Marco Túlio Gontijo e Silva wrote:
Hi.
Em Sex, 2009-06-19 às 13:10 +0100, Iain Lane escreveu:
On 19 Jun 2009, at 08:13, Wolfgang Jeltsch wrote:
Am Donnerstag, 18. Juni 2009 11:50 schrieb la...@ubuntu.com:
I'm seeking a review/sponsor for my NEW package, Agda
etc for such a trivial package. I'll do it if people feel strongly about
this though.
Regards,
Iain
* Indeed, the entire code is:
module Main (main) where
import qualified Agda.Main
main = Agda.Main.main
Is there any reason why this is not shipped in the agda
84 matches
Mail list logo