Next | Query returned 4 messages, browsing 1 to 10 | previous

History of commit frequency

CVS Commit History:


   2012-09-24 20:26:51 by Aleksej Saushev | Files touched by this commit (116)
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Mark packages that don't or might probably not have staged installation.
   2010-04-18 17:57:20 by Kamel Derouiche | Files touched by this commit (1)
Log message:
change maintainer move to jihbed.research@gmail.com
   2009-10-11 12:44:25 by Thomas Klausner | Files touched by this commit (267)
Log message:
Remove obsolete @dirrm lines.
   2009-06-18 01:41:41 by Kamel Derouiche | Files touched by this commit (4) | Imported package
Log message:
Import cspchecker-4 as wip/cspchecker.

CSP code type checker

Next | Query returned 4 messages, browsing 1 to 10 | previous