[gentoo-commits] proj/sci:master commit in: dev-ml/zarith/

2014-07-20 Thread Jonathan-Christofer Demay
commit: 25ebbaaa45bdc4904c002de89a56c0d45f484720 Author: Jonathan-Christofer Demay jcdemay AT gmail DOT com AuthorDate: Sun Jul 20 09:49:27 2014 + Commit: Jonathan-Christofer Demay jcdemay AT gmail DOT com CommitDate: Sun Jul 20 09:49:27 2014 + URL: http

[gentoo-commits] proj/sci:master commit in: sci-mathematics/alt-ergo/

2014-07-20 Thread Jonathan-Christofer Demay
commit: b81928edd7bcb6749ff4c6ed6d5c7e5edf522606 Author: Jonathan-Christofer Demay jcdemay AT gmail DOT com AuthorDate: Sun Jul 20 11:36:17 2014 + Commit: Jonathan-Christofer Demay jcdemay AT gmail DOT com CommitDate: Sun Jul 20 11:36:17 2014 + URL: http

[gentoo-commits] proj/sci:master commit in: sci-mathematics/giac/, dev-ml/mlgmpidl/, sci-mathematics/flocq/, ...

2014-07-18 Thread Jonathan-Christofer Demay
commit: d73696e54434ec08a75603613fb1ece24718127f Author: Jonathan-Christofer Demay jcdemay AT gmail DOT com AuthorDate: Fri Jul 18 22:38:01 2014 + Commit: Jonathan-Christofer Demay jcdemay AT gmail DOT com CommitDate: Fri Jul 18 22:38:01 2014 + URL: http

[gentoo-commits] proj/sci:master commit in: sci-mathematics/apron/

2014-07-17 Thread Jonathan-Christofer Demay
commit: 955e21c32bdccda0fec750c5376bf4fa5f8d4360 Author: Jonathan-Christofer Demay jcdemay AT gmail DOT com AuthorDate: Thu Jul 17 15:20:38 2014 + Commit: Jonathan-Christofer Demay jcdemay AT gmail DOT com CommitDate: Thu Jul 17 15:20:38 2014 + URL: http

[gentoo-commits] proj/sci:master commit in: dev-ml/zarith/

2014-06-22 Thread Jonathan-Christofer Demay
commit: 901dfcb7c29bb1b78e4667c7832411d8b12d0df5 Author: Jonathan-Christofer Demay jcdemay AT gmail DOT com AuthorDate: Sun Jun 22 18:49:27 2014 + Commit: Jonathan-Christofer Demay jcdemay AT gmail DOT com CommitDate: Sun Jun 22 18:49:27 2014 + URL: http

[gentoo-commits] proj/sci:master commit in: dev-ml/zarith/

2014-06-22 Thread Jonathan-Christofer Demay
commit: 2fc91a64c86849c2fdb775c6a9babb45b2d2b6d0 Author: Jonathan-Christofer Demay jcdemay AT gmail DOT com AuthorDate: Sun Jun 22 19:09:30 2014 + Commit: Jonathan-Christofer Demay jcdemay AT gmail DOT com CommitDate: Sun Jun 22 19:09:30 2014 + URL: http

[gentoo-commits] proj/sci:master commit in: sci-mathematics/giac/, dev-ml/zarith/, dev-ml/mlgmpidl/, sci-mathematics/pff/, ...

2014-06-22 Thread Jonathan-Christofer Demay
commit: 9d31fe0253025c7f7c08e0828889c1f012977bd5 Author: Jonathan-Christofer Demay jcdemay AT gmail DOT com AuthorDate: Sun Jun 22 20:20:18 2014 + Commit: Jonathan-Christofer Demay jcdemay AT gmail DOT com CommitDate: Sun Jun 22 20:20:18 2014 + URL: http