Lluís Batlle i Rossell f1e2c585b6 Adding pcl. (Also updating flann, reworking vtk)

2013-05-09 12:36:22 +02:00

..

applications

Adding Otter theorem prover. The development is frozen, but because of that Otter is considered a very reliable prover from soundness point of view.

2013-05-09 12:23:27 +04:00

build-support

Add Fedora 18

2013-05-08 14:08:59 +02:00

data

…

desktops

xfce: minor updates for several components

2013-05-08 13:48:51 +02:00

development

Adding pcl. (Also updating flann, reworking vtk)

2013-05-09 12:36:22 +02:00

games

Merge branch 'master' into x-updates

2013-05-08 13:46:46 +02:00

lib

add versionedDerivation

2013-05-08 15:43:07 +03:00

misc

add versionedDerivation

2013-05-08 15:43:07 +03:00

os-specific

linux-3.4: upgrade to 3.4.44

2013-05-08 22:33:05 +02:00

servers

Merge branch 'master' into x-updates

2013-05-08 13:46:46 +02:00

shells

bash-completion: update to version 2.1

2013-04-10 17:39:09 +02:00

stdenv

mkDerivation: Allow direct access to passthru

2013-05-03 09:07:42 -04:00

test

…

tools

Adding udptunnel

2013-05-08 22:51:39 +02:00

top-level

Adding pcl. (Also updating flann, reworking vtk)

2013-05-09 12:36:22 +02:00