Attachment #456520 | |||||
---|---|---|---|---|---|
ebuild based on isabelle-2015 | text/plain | 2016-12-17 20:25:30 UTC | 10.29 KB | no flags | Details |
Attachment #456522 | |||||
---|---|---|---|---|---|
classpath patch updated | patch | 2016-12-17 20:26:15 UTC | 1.24 KB | no flags | Details |
Attachment #456524 | |||||
---|---|---|---|---|---|
freechart classpath updated | patch | 2016-12-17 20:26:50 UTC | 930 bytes | no flags | Details |
Attachment #456526 | |||||
---|---|---|---|---|---|
libsha1 patch updated | patch | 2016-12-17 20:28:33 UTC | 593 bytes | no flags | Details |
Attachment #456868 | |||||
---|---|---|---|---|---|
ebuild based on isabelle-2015 | text/plain | 2016-12-20 13:26:58 UTC | 10.29 KB | no flags | Details |
Attachment #457604 | |||||
---|---|---|---|---|---|
isabelle-2016.1-libsha1.patch | patch | 2016-12-28 11:50:01 UTC | 535 bytes | no flags | Details |
Attachment #457606 | |||||
---|---|---|---|---|---|
isabelle-2016.1.ebuild | text/plain | 2016-12-28 11:57:57 UTC | 10.69 KB | no flags | Details |