tree: e2edb5db6e6c514a4d0da9cc3ebe76c277d2b269 [path history] [tgz]
  1. 4ti2-1.6.2
  2. 4ti2-1.6.5
  3. 4ti2-1.6.6
  4. agda-2.4.2.5-r2
  5. agda-executable-2.3.0.1-r1
  6. agda-executable-2.3.0.1-r2
  7. agda-lib-ffi-0.0.2
  8. agda-lib-ffi-0.0.2-r2
  9. agda-stdlib-2.4.2.5
  10. axiom-200805
  11. bertini-1.4
  12. cado-nfs-1.1
  13. cado-nfs-2.0
  14. cado-nfs-2.1
  15. cado-nfs-2.1.1
  16. cado-nfs-2.2.0
  17. calc-2.12.2.2
  18. calc-2.12.4.13-r1
  19. calc-2.12.5.4
  20. cgal-4.3
  21. cgal-4.3-r1
  22. cgal-4.8-r1
  23. coq-8.5
  24. coq-8.5_p1
  25. coq-8.5_p2
  26. cvc3-2.4.1
  27. dataplot-20090821
  28. dataplot-20131220
  29. diagrtb-2.64
  30. drgeo-1.1.0
  31. e-1.5
  32. e-1.6
  33. e-1.8
  34. ent-101202
  35. euler-1.61.0
  36. factmsieve-76
  37. fann-2.1.0_beta-r1
  38. fann-2.2.0-r1
  39. fann-9999
  40. flint-2.3
  41. flint-2.4.3
  42. flint-2.4.4-r1
  43. flint-2.4.5
  44. flint-2.5.2
  45. form-4.1
  46. freemat-4.2
  47. fricas-1.2.7-r3
  48. fricas-1.3.0
  49. frobby-0.9.0-r1
  50. genius-1.0.17
  51. genius-1.0.19
  52. geogebra-4.1.120.0
  53. geomview-1.9.5
  54. gfan-0.5
  55. gfan-0.5-r1
  56. ggnfs-0.77.1-r2
  57. gimps-28.7
  58. gimps-28.9
  59. ginac-1.5.8
  60. ginac-1.6.1
  61. ginac-1.6.2
  62. ginac-1.6.6
  63. glpk-4.45
  64. glpk-4.48
  65. glpk-4.54
  66. glpk-4.55
  67. glpk-4.57
  68. gmm-4.2
  69. gmm-5.0
  70. gmp-ecm-6.4.3-r5
  71. gmp-ecm-6.4.4-r1
  72. gmp-ecm-9999
  73. gretl-1.9.14
  74. gretl-1.9.90
  75. gsl-shell-2.2.0
  76. gwnum-277
  77. isabelle-2015
  78. jags-3.4.0
  79. jags-4.0.0
  80. jags-4.1.0
  81. jags-4.2.0
  82. kodkod-1.5.2
  83. kodkodi-1.5.2
  84. lpsolve-5.5.2.0
  85. lybniz-1.3.2
  86. Macaulay2-1.7_pre
  87. Macaulay2-1.8.2.1-r1
  88. mathmod-4.1-r1
  89. mathomatic-15.8.5
  90. mathomatic-16.0.1
  91. mathomatic-16.0.5
  92. maxima-5.34.1
  93. maxima-5.37.3-r4
  94. maxima-5.38.1
  95. minisat-2.1.0
  96. minisat-2.2.0-r3
  97. mlpy-3.5.0
  98. msieve-1.51
  99. msieve-9999
  100. nauty-2.5.9
  101. nestedsums-1.4.12-r1
  102. normaliz-2.12.2
  103. normaliz-3.1.1
  104. num-utils-0.3
  105. num-utils-0.5-r1
  106. nusmv-2.3.1
  107. nusmv-2.5.0
  108. nusmv-2.5.2
  109. nusmv-2.5.3
  110. nusmv-2.5.4
  111. octave-3.6.4
  112. octave-3.6.4-r1
  113. octave-3.8.2-r1
  114. octave-4.0.0
  115. octave-4.0.0-r1
  116. octave-4.0.1
  117. octave-4.0.1-r1
  118. octave-4.0.2-r2
  119. octave-4.0.3
  120. octave-epstk-2.3
  121. octave-epstk-2.4
  122. otter-3.3-r1
  123. otter-3.3-r2
  124. p9m4-05-r1
  125. pari-2.3.5
  126. pari-2.5.0-r3
  127. pari-2.5.1
  128. pari-2.5.1-r1
  129. pari-2.5.2
  130. pari-2.5.3
  131. pari-2.5.4
  132. pari-2.7.0
  133. pari-2.7.1
  134. pari-data-20120726
  135. polymake-2.13
  136. polymake-2.14
  137. polymake-2.14-r1
  138. prng-3.0.2
  139. prng-3.0.2-r1
  140. prover9-2009.11a
  141. pspp-0.10.1
  142. pspp-0.10.2
  143. pspp-0.8.1-r1
  144. pspp-0.8.3
  145. pymc-2.2
  146. pymc-9999
  147. qtoctave-0.10.1-r1
  148. reduce-20110414-r1
  149. relational-2.4
  150. rkward-0.6.1
  151. rngstreams-1.0.1
  152. rstudio-0.97.336
  153. rstudio-0.97.551
  154. rstudio-0.98.1028
  155. rstudio-0.98.1091
  156. rstudio-0.98.490
  157. rstudio-0.98.490-r1
  158. rstudio-0.98.932
  159. rstudio-0.98.953
  160. rstudio-0.99.473-r1
  161. rstudio-0.99.482
  162. rstudio-0.99.483
  163. rstudio-0.99.484
  164. rstudio-0.99.486-r1
  165. rstudio-0.99.491
  166. rstudio-0.99.879
  167. rstudio-0.99.893
  168. rstudio-0.99.896
  169. rstudio-0.99.902
  170. rstudio-0.99.903
  171. rw-0.7-r1
  172. sha1-polyml-5.5.0
  173. singular-3.1.6
  174. singular-4.0.2
  175. snns-4.2-r8
  176. snns-4.2-r9
  177. snns-4.3-r2
  178. spass-3.7
  179. spin-6.2.1
  180. spin-6.2.3
  181. spin-6.2.5
  182. spin-6.4.5
  183. topcom-0.17.4-r1
  184. twelf-1.7.1
  185. unuran-1.8.1
  186. wxmaxima-13.04.2
  187. wxmaxima-15.08.2
  188. wxmaxima-16.04.1
  189. wxmaxima-16.04.2
  190. xmds-1.6.5
  191. xmds-1.6.6
  192. yacas-1.3.2
  193. yacas-1.3.3
  194. yacas-1.3.4
  195. yafu-1.34.3
  196. yafu-9999