Attachment #180859 | |||||
---|---|---|---|---|---|
sci-mathematics/coq/coq-8.2_rc2.ebuild | text/plain | 2009-02-03 23:02:08 UTC | 1.50 KB | no flags | Details |
Attachment #182387 | |||||
---|---|---|---|---|---|
Version bump (compiles 8.2 release) | text/plain | 2009-02-18 03:42:38 UTC | 1.50 KB | no flags | Details |
Attachment #182419 | |||||
---|---|---|---|---|---|
sci-mathematics/coq/coq-8.2.ebuild | text/plain | 2009-02-18 14:07:12 UTC | 1.55 KB | no flags | Details |