| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| spelling | Fix spelling in message =================================================================== |
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 | |||
| minisat+-invocation | invoke minisat+ with switch for old-format input =================================================================== |
Ralf Treinen <treinen@debian.org> | no |