| 1 |
On Sat, Jul 1, 2006 at 13:36:10 +0200, George Shapovalov wrote: |
| 2 |
|
| 3 |
> Hi gang |
| 4 |
> |
| 5 |
> It looks like we got all the coments we could get, so lets get done with it |
| 6 |
> then. What's left is minor legwork that is best done by the maintainers of |
| 7 |
> the individual herds, here is the approximate list: |
| 8 |
|
| 9 |
math-proof is all done. For now, there is only me in herds.xml, let me |
| 10 |
know if someone is interested in joining. |
| 11 |
As a sidenote, you need to bribe an infra member to create a new alias, |
| 12 |
as /var/mail/alias/misc is only r-x. |
| 13 |
|
| 14 |
|
| 15 |
> Caterogies: |
| 16 |
> |
| 17 |
> sci-proof - saw some activity but I understand that most of the proposed |
| 18 |
> packages are not in the tree yet. May start as a herd and transition to the |
| 19 |
> category when enough packages go in.. |
| 20 |
|
| 21 |
My ebuild for agda is almost ready (there are still a couple of issues |
| 22 |
with emacs site-lisp directory) and there are at least 5 or 6 more that |
| 23 |
I would like to add, though creating ebuilds may prove quite difficult. |
| 24 |
|
| 25 |
Regards, |
| 26 |
/Alexandre |
| 27 |
-- |
| 28 |
Hi, I'm a .signature virus! Please copy me in your ~/.signature. |
Archives