Parent Directory | Revision Log | Patch
revision 345342 by fwang, Sat Dec 1 08:38:14 2012 UTC | revision 345343 by umeabot, Fri Jan 11 02:36:40 2013 UTC | |
---|---|---|
# | Line 1 | Line 1 |
1 | Name: aifad | Name: aifad |
2 | Version: 2.0.2 | Version: 2.0.2 |
3 | Release: %mkrel 4 | Release: %mkrel 5 |
4 | Summary: Machine learning system - Automated Induction of Functions over Algebraic Datatypes | Summary: Machine learning system - Automated Induction of Functions over Algebraic Datatypes |
5 | License: GPL | License: GPL |
6 | Group: Development/OCaml | Group: Development/OCaml |
|
ViewVC Help | |
Powered by ViewVC 1.1.30 |