| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | * Enable builds on OpenBSD. | Eelco Dolstra | 2009-10-09 |
| * | * selectMaintained (renamed): don't use meta.maintainer, just use | Eelco Dolstra | 2009-09-23 |
| * | Specify some obvious platform sets | Michael Raskin | 2009-09-16 |
| * | Add `gnu' as an alias for `linux'. | Ludovic Courtès | 2009-09-12 |
| * | Adding libev - an even loop library remotely similar to libevent | Michael Raskin | 2009-08-27 |
| * | Adding eProver to buildfarm via maintanership | Michael Raskin | 2009-08-25 |