Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
minisat+-invocation | invoke minisat+ with switch for old-format input =================================================================== |
Ralf Treinen <treinen@debian.org> | no | |||
make-environment | Fix usage of build-environment by the Makefile: rename LNFLAGSto LDFLAGS, use CXXFLAGS and CPPFLAGS =================================================================== |
Ralf Treinen <treinen@debian.org> | no | |||
c++11 | compliance to the C++11 standard diff -ru --unidirectional-new-file /home/rt/debian/packages/collab-maint/packup/basic_clset.hh ./basic_clset.hh |
Mikoláš Janota <mikolas.janota@gmail.com> | no | |||
spelling | Fix spelling in message =================================================================== |
Ralf Treinen <treinen@debian.org> | no |