Pushing to gitlab.haskell.org

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
4 messages Options
Reply | Threaded
Open this post in threaded view
|

Pushing to gitlab.haskell.org

GHC - devs mailing list

Devs

Suddenly I can’t push to (a non-master branch on) gitlab.haskell.org.

In .git/config I have

[remote "origin"]

  url = https://gitlab.haskell.org/ghc/ghc

  fetch = +refs/heads/*:refs/remotes/origin/*

[branch "master"]

  remote = origin

  merge = refs/heads/master

An attempt to push leads to a request for a username.  If I enter one, a request for a password.

simonpj@MSRC-3645512:~/code/HEAD$ git push origin wip/T16735

Username for 'https://gitlab.haskell.org':   C-c C-c

I thought I had SSH keys uploaded.  But in fact I found that my id_rsa.pub was a bit different to the one in gitlab.  Not sure _how_ that happened, or why it hasn’t bitten before.

So I uploaded a new id_rsa.pub key.

Same behaviour.

So I tried ssh -v gitlab.haskell.org, and got the output below.   It seems to skip id_dsa, but doesn’t even try id_rsa. 

Can anyone help? This is tiresome.

Thanks

Simon

 

simonpj@MSRC-3645512:~/code/HEAD$ ssh -v gitlab.haskell.org

OpenSSH_7.6p1 Ubuntu-4, OpenSSL 1.0.2n  7 Dec 2017

debug1: Reading configuration data /home/simonpj/.ssh/config

debug1: Reading configuration data /etc/ssh/ssh_config

debug1: /etc/ssh/ssh_config line 19: Applying options for *

debug1: Connecting to gitlab.haskell.org [2604:1380:0:8900::3] port 22.

debug1: Connection established.

debug1: identity file /home/simonpj/.ssh/id_rsa type 0

debug1: key_load_public: No such file or directory

debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1

debug1: identity file /home/simonpj/.ssh/id_dsa type 1

debug1: key_load_public: No such file or directory

debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1

debug1: key_load_public: No such file or directory

debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1

debug1: key_load_public: No such file or directory

debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1

debug1: key_load_public: No such file or directory

debug1: identity file /home/simonpj/.ssh/id_ed25519 type -1

debug1: key_load_public: No such file or directory

debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1

debug1: Local version string SSH-2.0-OpenSSH_7.6p1 Ubuntu-4

debug1: Remote protocol version 2.0, remote software version OpenSSH_7.9

debug1: match: OpenSSH_7.9 pat OpenSSH* compat 0x04000000

debug1: Authenticating to gitlab.haskell.org:22 as 'simonpj'

debug1: SSH2_MSG_KEXINIT sent

debug1: SSH2_MSG_KEXINIT received

debug1: kex: algorithm: [hidden email]

debug1: kex: host key algorithm: ssh-ed25519

debug1: kex: server->client cipher: [hidden email] MAC: <implicit> compression: none

debug1: kex: client->server cipher: [hidden email] MAC: <implicit> compression: none

debug1: expecting SSH2_MSG_KEX_ECDH_REPLY

debug1: Server host key: ssh-ed25519 SHA256:wtE9yoEHLsotzqKfbDs1JIqR+c8ZZyW+FAJAmteBfcI

debug1: Host 'gitlab.haskell.org' is known and matches the ED25519 host key.

debug1: Found key in /home/simonpj/.ssh/known_hosts:7

debug1: rekey after 134217728 blocks

debug1: SSH2_MSG_NEWKEYS sent

debug1: expecting SSH2_MSG_NEWKEYS

debug1: SSH2_MSG_NEWKEYS received

debug1: rekey after 134217728 blocks

debug1: Skipping ssh-dss key /home/simonpj/.ssh/id_dsa - not in PubkeyAcceptedKeyTypes

debug1: SSH2_MSG_EXT_INFO received

debug1: kex_input_ext_info: server-sig-algs=<ssh-ed25519,ssh-rsa,rsa-sha2-256,rsa-sha2-512,ssh-dss,ecdsa-sha2-nistp256,ecdsa-sha2-nistp384,ecdsa-sha2-nistp521>

debug1: SSH2_MSG_SERVICE_ACCEPT received

debug1: Authentications that can continue: publickey,password,keyboard-interactive

debug1: Next authentication method: publickey

debug1: Offering public key: RSA SHA256:H1l824hIxHozwRuEqdaYJjW10mRRlQVUhxREvuseqtU /home/simonpj/.ssh/id_rsa

debug1: Authentications that can continue: publickey,password,keyboard-interactive

debug1: Trying private key: /home/simonpj/.ssh/id_ecdsa

debug1: Trying private key: /home/simonpj/.ssh/id_ed25519

debug1: Next authentication method: keyboard-interactive

Password:   C-c C-c

 

simonpj@MSRC-3645512:~/code/HEAD$

 


_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Reply | Threaded
Open this post in threaded view
|

Re: Pushing to gitlab.haskell.org

Niklas Hambüchen
Hey Simon,

you mention SSH keys, but in your quoted config I can see HTTPS, not SSH:

> [remote "origin"]
>   url = https://gitlab.haskell.org/ghc/ghc

Should this perhaps be

    url = [hidden email]:ghc/ghc.git

instead?

> So I tried ssh -v gitlab.haskell.org

You need to include the user name "git" for this. Otherwise it will try to use your local user name on the remote server.
This is the command to run and the output you should get if it's working:

    $ ssh [hidden email]
    PTY allocation request failed on channel 0
    Welcome to GitLab, @nh2!
    Connection to gitlab.haskell.org closed.

Hope this helps,

Niklas
_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Reply | Threaded
Open this post in threaded view
|

RE: Pushing to gitlab.haskell.org

GHC - devs mailing list
In reply to this post by GHC - devs mailing list
|  You probably need to use the "git@" remote.
|  
|  [hidden email]:ghc/ghc.git
|  
|  git remote set-url origin [hidden email]:ghc/ghc.git

Correct!  I don't know how this worked before. (Maybe it never did; this is a relatively new machine.)

Maybe we should change the guidance on
https://gitlab.haskell.org/ghc/ghc/wikis/building/getting-the-sources

to give the git url?  Or does that /require/ ssh and hence exclude some folk?

Simon

|  -----Original Message-----
|  From: Matthew Pickering <[hidden email]>
|  Sent: 03 June 2019 15:08
|  To: Simon Peyton Jones <[hidden email]>
|  Subject: Re: Pushing to gitlab.haskell.org
|  
|  You probably need to use the "git@" remote.
|  
|  [hidden email]:ghc/ghc.git
|  
|  git remote set-url origin [hidden email]:ghc/ghc.git
|  
|  
|  On Mon, Jun 3, 2019 at 3:04 PM Simon Peyton Jones via ghc-devs <ghc-
|  [hidden email]> wrote:
|  >
|  > Devs
|  >
|  > Suddenly I can’t push to (a non-master branch on) gitlab.haskell.org.
|  >
|  > In .git/config I have
|  >
|  > [remote "origin"]
|  >
|  >   url =
|  > https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitl
|  > ab.haskell.org%2Fghc%2Fghc&amp;data=02%7C01%7Csimonpj%40microsoft.com%
|  > 7C186b15a68a134060a1bd08d6e82ce8b3%7C72f988bf86f141af91ab2d7cd011db47%
|  > 7C1%7C0%7C636951676910548930&amp;sdata=cTjUrROo3Dje%2FlbiFdtUPadlFUPsN
|  > 2OWUgLIOYv%2BL8o%3D&amp;reserved=0
|  >
|  >   fetch = +refs/heads/*:refs/remotes/origin/*
|  >
|  > [branch "master"]
|  >
|  >   remote = origin
|  >
|  >   merge = refs/heads/master
|  >
|  > An attempt to push leads to a request for a username.  If I enter one, a
|  request for a password.
|  >
|  > simonpj@MSRC-3645512:~/code/HEAD$ git push origin wip/T16735
|  >
|  > Username for
|  'https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.
|  haskell.org&amp;data=02%7C01%7Csimonpj%40microsoft.com%7C186b15a68a134060a
|  1bd08d6e82ce8b3%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6369516769105
|  48930&amp;sdata=O%2F%2B7WovumSLxe8%2FXrh1NpowWs%2FYVqhdEsDCsM5diz%2Bk%3D&a
|  mp;reserved=0':   C-c C-c
|  >
|  > I thought I had SSH keys uploaded.  But in fact I found that my
|  id_rsa.pub was a bit different to the one in gitlab.  Not sure _how_ that
|  happened, or why it hasn’t bitten before.
|  >
|  > So I uploaded a new id_rsa.pub key.
|  >
|  > Same behaviour.
|  >
|  > So I tried ssh -v gitlab.haskell.org, and got the output below.   It
|  seems to skip id_dsa, but doesn’t even try id_rsa.
|  >
|  > Can anyone help? This is tiresome.
|  >
|  > Thanks
|  >
|  > Simon
|  >
|  >
|  >
|  > simonpj@MSRC-3645512:~/code/HEAD$ ssh -v gitlab.haskell.org
|  >
|  > OpenSSH_7.6p1 Ubuntu-4, OpenSSL 1.0.2n  7 Dec 2017
|  >
|  > debug1: Reading configuration data /home/simonpj/.ssh/config
|  >
|  > debug1: Reading configuration data /etc/ssh/ssh_config
|  >
|  > debug1: /etc/ssh/ssh_config line 19: Applying options for *
|  >
|  > debug1: Connecting to gitlab.haskell.org [2604:1380:0:8900::3] port 22.
|  >
|  > debug1: Connection established.
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_rsa type 0
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_dsa type 1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_ed25519 type -1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1
|  >
|  > debug1: Local version string SSH-2.0-OpenSSH_7.6p1 Ubuntu-4
|  >
|  > debug1: Remote protocol version 2.0, remote software version
|  > OpenSSH_7.9
|  >
|  > debug1: match: OpenSSH_7.9 pat OpenSSH* compat 0x04000000
|  >
|  > debug1: Authenticating to gitlab.haskell.org:22 as 'simonpj'
|  >
|  > debug1: SSH2_MSG_KEXINIT sent
|  >
|  > debug1: SSH2_MSG_KEXINIT received
|  >
|  > debug1: kex: algorithm: [hidden email]
|  >
|  > debug1: kex: host key algorithm: ssh-ed25519
|  >
|  > debug1: kex: server->client cipher: [hidden email] MAC:
|  > <implicit> compression: none
|  >
|  > debug1: kex: client->server cipher: [hidden email] MAC:
|  > <implicit> compression: none
|  >
|  > debug1: expecting SSH2_MSG_KEX_ECDH_REPLY
|  >
|  > debug1: Server host key: ssh-ed25519
|  > SHA256:wtE9yoEHLsotzqKfbDs1JIqR+c8ZZyW+FAJAmteBfcI
|  >
|  > debug1: Host 'gitlab.haskell.org' is known and matches the ED25519 host
|  key.
|  >
|  > debug1: Found key in /home/simonpj/.ssh/known_hosts:7
|  >
|  > debug1: rekey after 134217728 blocks
|  >
|  > debug1: SSH2_MSG_NEWKEYS sent
|  >
|  > debug1: expecting SSH2_MSG_NEWKEYS
|  >
|  > debug1: SSH2_MSG_NEWKEYS received
|  >
|  > debug1: rekey after 134217728 blocks
|  >
|  > debug1: Skipping ssh-dss key /home/simonpj/.ssh/id_dsa - not in
|  > PubkeyAcceptedKeyTypes
|  >
|  > debug1: SSH2_MSG_EXT_INFO received
|  >
|  > debug1: kex_input_ext_info:
|  > server-sig-algs=<ssh-ed25519,ssh-rsa,rsa-sha2-256,rsa-sha2-512,ssh-dss
|  > ,ecdsa-sha2-nistp256,ecdsa-sha2-nistp384,ecdsa-sha2-nistp521>
|  >
|  > debug1: SSH2_MSG_SERVICE_ACCEPT received
|  >
|  > debug1: Authentications that can continue:
|  > publickey,password,keyboard-interactive
|  >
|  > debug1: Next authentication method: publickey
|  >
|  > debug1: Offering public key: RSA
|  > SHA256:H1l824hIxHozwRuEqdaYJjW10mRRlQVUhxREvuseqtU
|  > /home/simonpj/.ssh/id_rsa
|  >
|  > debug1: Authentications that can continue:
|  > publickey,password,keyboard-interactive
|  >
|  > debug1: Trying private key: /home/simonpj/.ssh/id_ecdsa
|  >
|  > debug1: Trying private key: /home/simonpj/.ssh/id_ed25519
|  >
|  > debug1: Next authentication method: keyboard-interactive
|  >
|  > Password:   C-c C-c
|  >
|  >
|  >
|  > simonpj@MSRC-3645512:~/code/HEAD$
|  >
|  >
|  >
|  > _______________________________________________
|  > ghc-devs mailing list
|  > [hidden email]
|  > https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.
|  > haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-devs&amp;data=02%7C01
|  > %7Csimonpj%40microsoft.com%7C186b15a68a134060a1bd08d6e82ce8b3%7C72f988
|  > bf86f141af91ab2d7cd011db47%7C1%7C0%7C636951676910548930&amp;sdata=d3AF
|  > 6HM%2B48XW8mZJ42m%2FSngTPiVEERDM24th%2BZMY%2BPA%3D&amp;reserved=0
_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
Reply | Threaded
Open this post in threaded view
|

Re: Pushing to gitlab.haskell.org

Brandon Allbery
Exactly. Also it makes some sense to use https for fetch but ssh for push; that's how I have my own repos and those for various other projects set up.

On Mon, Jun 3, 2019 at 12:34 PM Simon Peyton Jones via ghc-devs <[hidden email]> wrote:
|  You probably need to use the "git@" remote.

[hidden email]:ghc/ghc.git

|  git remote set-url origin [hidden email]:ghc/ghc.git

Correct!  I don't know how this worked before. (Maybe it never did; this is a relatively new machine.)

Maybe we should change the guidance on
https://gitlab.haskell.org/ghc/ghc/wikis/building/getting-the-sources

to give the git url?  Or does that /require/ ssh and hence exclude some folk?

Simon

|  -----Original Message-----
|  From: Matthew Pickering <[hidden email]>
|  Sent: 03 June 2019 15:08
|  To: Simon Peyton Jones <[hidden email]>
|  Subject: Re: Pushing to gitlab.haskell.org

|  You probably need to use the "git@" remote.

[hidden email]:ghc/ghc.git

|  git remote set-url origin [hidden email]:ghc/ghc.git


|  On Mon, Jun 3, 2019 at 3:04 PM Simon Peyton Jones via ghc-devs <ghc-
[hidden email]> wrote:
|  >
|  > Devs
|  >
|  > Suddenly I can’t push to (a non-master branch on) gitlab.haskell.org.
|  >
|  > In .git/config I have
|  >
|  > [remote "origin"]
|  >
|  >   url =
|  > https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitl
|  > ab.haskell.org%2Fghc%2Fghc&amp;data=02%7C01%7Csimonpj%40microsoft.com%
|  > 7C186b15a68a134060a1bd08d6e82ce8b3%7C72f988bf86f141af91ab2d7cd011db47%
|  > 7C1%7C0%7C636951676910548930&amp;sdata=cTjUrROo3Dje%2FlbiFdtUPadlFUPsN
|  > 2OWUgLIOYv%2BL8o%3D&amp;reserved=0
|  >
|  >   fetch = +refs/heads/*:refs/remotes/origin/*
|  >
|  > [branch "master"]
|  >
|  >   remote = origin
|  >
|  >   merge = refs/heads/master
|  >
|  > An attempt to push leads to a request for a username.  If I enter one, a
|  request for a password.
|  >
|  > simonpj@MSRC-3645512:~/code/HEAD$ git push origin wip/T16735
|  >
|  > Username for
|  'https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.
haskell.org&amp;data=02%7C01%7Csimonpj%40microsoft.com%7C186b15a68a134060a
|  1bd08d6e82ce8b3%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6369516769105
|  48930&amp;sdata=O%2F%2B7WovumSLxe8%2FXrh1NpowWs%2FYVqhdEsDCsM5diz%2Bk%3D&a
|  mp;reserved=0':   C-c C-c
|  >
|  > I thought I had SSH keys uploaded.  But in fact I found that my
|  id_rsa.pub was a bit different to the one in gitlab.  Not sure _how_ that
|  happened, or why it hasn’t bitten before.
|  >
|  > So I uploaded a new id_rsa.pub key.
|  >
|  > Same behaviour.
|  >
|  > So I tried ssh -v gitlab.haskell.org, and got the output below.   It
|  seems to skip id_dsa, but doesn’t even try id_rsa.
|  >
|  > Can anyone help? This is tiresome.
|  >
|  > Thanks
|  >
|  > Simon
|  >
|  >
|  >
|  > simonpj@MSRC-3645512:~/code/HEAD$ ssh -v gitlab.haskell.org
|  >
|  > OpenSSH_7.6p1 Ubuntu-4, OpenSSL 1.0.2n  7 Dec 2017
|  >
|  > debug1: Reading configuration data /home/simonpj/.ssh/config
|  >
|  > debug1: Reading configuration data /etc/ssh/ssh_config
|  >
|  > debug1: /etc/ssh/ssh_config line 19: Applying options for *
|  >
|  > debug1: Connecting to gitlab.haskell.org [2604:1380:0:8900::3] port 22.
|  >
|  > debug1: Connection established.
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_rsa type 0
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_rsa-cert type -1
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_dsa type 1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_dsa-cert type -1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_ecdsa type -1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_ecdsa-cert type -1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_ed25519 type -1
|  >
|  > debug1: key_load_public: No such file or directory
|  >
|  > debug1: identity file /home/simonpj/.ssh/id_ed25519-cert type -1
|  >
|  > debug1: Local version string SSH-2.0-OpenSSH_7.6p1 Ubuntu-4
|  >
|  > debug1: Remote protocol version 2.0, remote software version
|  > OpenSSH_7.9
|  >
|  > debug1: match: OpenSSH_7.9 pat OpenSSH* compat 0x04000000
|  >
|  > debug1: Authenticating to gitlab.haskell.org:22 as 'simonpj'
|  >
|  > debug1: SSH2_MSG_KEXINIT sent
|  >
|  > debug1: SSH2_MSG_KEXINIT received
|  >
|  > debug1: kex: algorithm: [hidden email]
|  >
|  > debug1: kex: host key algorithm: ssh-ed25519
|  >
|  > debug1: kex: server->client cipher: [hidden email] MAC:
|  > <implicit> compression: none
|  >
|  > debug1: kex: client->server cipher: [hidden email] MAC:
|  > <implicit> compression: none
|  >
|  > debug1: expecting SSH2_MSG_KEX_ECDH_REPLY
|  >
|  > debug1: Server host key: ssh-ed25519
|  > SHA256:wtE9yoEHLsotzqKfbDs1JIqR+c8ZZyW+FAJAmteBfcI
|  >
|  > debug1: Host 'gitlab.haskell.org' is known and matches the ED25519 host
|  key.
|  >
|  > debug1: Found key in /home/simonpj/.ssh/known_hosts:7
|  >
|  > debug1: rekey after 134217728 blocks
|  >
|  > debug1: SSH2_MSG_NEWKEYS sent
|  >
|  > debug1: expecting SSH2_MSG_NEWKEYS
|  >
|  > debug1: SSH2_MSG_NEWKEYS received
|  >
|  > debug1: rekey after 134217728 blocks
|  >
|  > debug1: Skipping ssh-dss key /home/simonpj/.ssh/id_dsa - not in
|  > PubkeyAcceptedKeyTypes
|  >
|  > debug1: SSH2_MSG_EXT_INFO received
|  >
|  > debug1: kex_input_ext_info:
|  > server-sig-algs=<ssh-ed25519,ssh-rsa,rsa-sha2-256,rsa-sha2-512,ssh-dss
|  > ,ecdsa-sha2-nistp256,ecdsa-sha2-nistp384,ecdsa-sha2-nistp521>
|  >
|  > debug1: SSH2_MSG_SERVICE_ACCEPT received
|  >
|  > debug1: Authentications that can continue:
|  > publickey,password,keyboard-interactive
|  >
|  > debug1: Next authentication method: publickey
|  >
|  > debug1: Offering public key: RSA
|  > SHA256:H1l824hIxHozwRuEqdaYJjW10mRRlQVUhxREvuseqtU
|  > /home/simonpj/.ssh/id_rsa
|  >
|  > debug1: Authentications that can continue:
|  > publickey,password,keyboard-interactive
|  >
|  > debug1: Trying private key: /home/simonpj/.ssh/id_ecdsa
|  >
|  > debug1: Trying private key: /home/simonpj/.ssh/id_ed25519
|  >
|  > debug1: Next authentication method: keyboard-interactive
|  >
|  > Password:   C-c C-c
|  >
|  >
|  >
|  > simonpj@MSRC-3645512:~/code/HEAD$
|  >
|  >
|  >
|  > _______________________________________________
|  > ghc-devs mailing list
|  > [hidden email]
|  > https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.
|  > haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-devs&amp;data=02%7C01
|  > %7Csimonpj%40microsoft.com%7C186b15a68a134060a1bd08d6e82ce8b3%7C72f988
|  > bf86f141af91ab2d7cd011db47%7C1%7C0%7C636951676910548930&amp;sdata=d3AF
|  > 6HM%2B48XW8mZJ42m%2FSngTPiVEERDM24th%2BZMY%2BPA%3D&amp;reserved=0
_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs


--
brandon s allbery kf8nh

_______________________________________________
ghc-devs mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs