kpriv/pkgsrc-wip
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
31386 commits 1 branch 0 tags 462 MiB
Commit graph

3 commits

Author SHA1 Message Date
Kamel Ibn Aziz Derouiche
cfedd600b1 change maintainer move to jihbed.research@gmail.com 2010-04-18 15:57:20 +00:00
Thomas Klausner
4c850f93bc Remove obsolete @dirrm lines. 2009-10-11 10:44:24 +00:00
Kamel Ibn Aziz Derouiche
56474c77e1 Import cspchecker-4 as wip/cspchecker. 
CSP code type checker
 2009-06-17 23:41:41 +00:00