Vincent Laporte 6a69a25c56 Adds coq-interval ... This library provides vernacular files containing tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant. Homepage: http://coq-interval.gforge.inria.fr/		2014-12-08 09:15:13 +01:00
..
arduino	ino: Use picocom rather than minicom	2014-11-29 17:55:41 +00:00
compilers	urweb: updated to version 20141206	2014-12-06 23:35:51 +01:00
coq-modules	Adds coq-interval	2014-12-08 09:15:13 +01:00
eclipse
guile-modules
interpreters	nix-exec: bump	2014-12-03 22:23:47 -05:00
libraries	haskell-hackage-db: update to version 1.9.1	2014-12-07 16:31:56 +01:00
lisp-modules	Add CL-SMTP package	2014-11-16 19:57:12 +03:00
lua-modules
misc
mobile	add android build tools to $PATH	2014-11-24 00:47:57 -08:00
ocaml-modules	lablgl: place libs correctly	2014-11-29 14:21:16 +01:00
perl-modules	slic3r: Bump to 1.2.1	2014-11-15 19:22:59 +01:00
pharo	Update pharo vm	2014-12-04 16:41:20 +01:00
pure-modules/pure-gsl
python-modules	Merge pull request #5007 from nbp/bugwarrior	2014-12-01 22:20:17 +01:00
qtcreator
r-modules	Mark R packages h2o, jvmr, and qtbase as broken.	2014-12-04 15:00:54 +01:00
ruby-modules
tools	lttng-ust: update from 2.5.0 to 2.5.1	2014-12-06 15:22:44 +01:00
web