tree: f9bbe8dc96c6e954281a8dd5356eb844432b2ac5 [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.3.0_beta1
  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.2.0-r4
  96. minisat-2.2.0_p20130925
  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.6.0
  107. octave-3.6.4
  108. octave-3.6.4-r1
  109. octave-3.8.2-r1
  110. octave-4.0.0
  111. octave-4.0.0-r1
  112. octave-4.0.1
  113. octave-4.0.1-r1
  114. octave-4.0.2-r2
  115. octave-4.0.3
  116. octave-epstk-2.3
  117. octave-epstk-2.4
  118. otter-3.3-r1
  119. otter-3.3-r2
  120. p9m4-05-r1
  121. pari-2.3.5
  122. pari-2.5.0-r3
  123. pari-2.5.1
  124. pari-2.5.1-r1
  125. pari-2.5.2
  126. pari-2.5.3
  127. pari-2.5.4
  128. pari-2.7.0
  129. pari-2.7.1
  130. pari-data-20120726
  131. polymake-2.13
  132. polymake-2.14
  133. polymake-2.14-r1
  134. prng-3.0.2
  135. prng-3.0.2-r1
  136. prover9-2009.11a
  137. pspp-0.10.1
  138. pspp-0.10.2
  139. pspp-0.8.1-r1
  140. pspp-0.8.3
  141. pymc-2.3.6
  142. qtoctave-0.10.1-r1
  143. reduce-20110414-r1
  144. relational-2.4
  145. rkward-0.6.1
  146. rkward-0.6.5
  147. rngstreams-1.0.1
  148. rstudio-0.97.336
  149. rstudio-0.97.551
  150. rstudio-0.98.1028
  151. rstudio-0.98.1091
  152. rstudio-0.98.490
  153. rstudio-0.98.490-r1
  154. rstudio-0.98.932
  155. rstudio-0.98.953
  156. rstudio-0.99.473-r1
  157. rstudio-0.99.482
  158. rstudio-0.99.483
  159. rstudio-0.99.484
  160. rstudio-0.99.486-r1
  161. rstudio-0.99.491
  162. rstudio-0.99.879
  163. rstudio-0.99.893
  164. rstudio-0.99.896
  165. rstudio-0.99.902
  166. rstudio-0.99.903
  167. rw-0.7-r1
  168. sha1-polyml-5.5.0
  169. singular-3.1.6
  170. singular-4.0.2
  171. singular-4.0.3
  172. snns-4.2-r8
  173. snns-4.2-r9
  174. snns-4.3-r2
  175. spass-3.7
  176. spin-6.2.1
  177. spin-6.2.3
  178. spin-6.2.5
  179. spin-6.4.5
  180. topcom-0.17.4-r1
  181. twelf-1.7.1
  182. unuran-1.8.1
  183. wxmaxima-13.04.2
  184. wxmaxima-15.08.2
  185. wxmaxima-16.04.1
  186. wxmaxima-16.04.2
  187. xmds-1.6.5
  188. xmds-1.6.6
  189. yacas-1.3.2
  190. yacas-1.3.3
  191. yacas-1.3.4
  192. yafu-1.34.3
  193. yafu-9999