tree: f9bbe8dc96c6e954281a8dd5356eb844432b2ac5 [path history] [tgz]
  1. 4ti2-1.6.2
  2. 4ti2-1.6.5
  3. 4ti2-1.6.6
  4. Macaulay2-1.7_pre
  5. Macaulay2-1.8.2.1-r1
  6. agda-2.4.2.5-r2
  7. agda-executable-2.3.0.1-r1
  8. agda-executable-2.3.0.1-r2
  9. agda-lib-ffi-0.0.2
  10. agda-lib-ffi-0.0.2-r2
  11. agda-stdlib-2.4.2.5
  12. axiom-200805
  13. bertini-1.4
  14. cado-nfs-1.1
  15. cado-nfs-2.0
  16. cado-nfs-2.1
  17. cado-nfs-2.1.1
  18. cado-nfs-2.2.0
  19. calc-2.12.2.2
  20. calc-2.12.4.13-r1
  21. calc-2.12.5.4
  22. cgal-4.3
  23. cgal-4.3-r1
  24. cgal-4.8-r1
  25. coq-8.5
  26. coq-8.5_p1
  27. coq-8.5_p2
  28. cvc3-2.4.1
  29. dataplot-20090821
  30. dataplot-20131220
  31. diagrtb-2.64
  32. drgeo-1.1.0
  33. e-1.5
  34. e-1.6
  35. e-1.8
  36. ent-101202
  37. euler-1.61.0
  38. factmsieve-76
  39. fann-2.1.0_beta-r1
  40. fann-2.2.0-r1
  41. fann-9999
  42. flint-2.3
  43. flint-2.4.3
  44. flint-2.4.4-r1
  45. flint-2.4.5
  46. flint-2.5.2
  47. form-4.1
  48. freemat-4.2
  49. fricas-1.2.7-r3
  50. fricas-1.3.0
  51. frobby-0.9.0-r1
  52. genius-1.0.17
  53. genius-1.0.19
  54. geogebra-4.1.120.0
  55. geomview-1.9.5
  56. gfan-0.5
  57. gfan-0.5-r1
  58. ggnfs-0.77.1-r2
  59. gimps-28.7
  60. gimps-28.9
  61. ginac-1.5.8
  62. ginac-1.6.1
  63. ginac-1.6.2
  64. ginac-1.6.6
  65. glpk-4.45
  66. glpk-4.48
  67. glpk-4.54
  68. glpk-4.55
  69. glpk-4.57
  70. gmm-4.2
  71. gmm-5.0
  72. gmp-ecm-6.4.3-r5
  73. gmp-ecm-6.4.4-r1
  74. gmp-ecm-9999
  75. gretl-1.9.14
  76. gretl-1.9.90
  77. gsl-shell-2.3.0_beta1
  78. gwnum-277
  79. isabelle-2015
  80. jags-3.4.0
  81. jags-4.0.0
  82. jags-4.1.0
  83. jags-4.2.0
  84. kodkod-1.5.2
  85. kodkodi-1.5.2
  86. lpsolve-5.5.2.0
  87. lybniz-1.3.2
  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