Mateusz Kowalczyk 87eb8fcf83 agda-categories: add package

2014-09-16 02:47:13 +01:00

..

applications

ott: 0.25 new expression

2014-09-15 21:50:07 +01:00

build-support

…

data

…

desktops

…

development

agda-categories: add package

2014-09-16 02:47:13 +01:00

games

…

misc

…

os-specific

xf86_input_wacom: update from 0.25.99.1 to 0.26.0

2014-09-15 21:53:43 +02:00

servers

…

shells

…

stdenv

…

test

…

tools

Merge pull request #3694 from matejc/cmst

2014-09-15 23:12:01 +04:00

top-level

agda-categories: add package

2014-09-16 02:47:13 +01:00