f2e50118a7cfbc52e9ba585cc97e8d90900fe03e		branch 'cpu' of github.com:gambit/gambit
551933ccf0826ba86e65a845cc1cc1abdd23e31b	not-for-merge	branch 'bbv' of github.com:gambit/gambit
042985e16014653dc198dadb9f219da519e57c4c	not-for-merge	branch 'master' of github.com:gambit/gambit
02d5e640e0d448f50f80f6d71840f6e55c3b9ebd	not-for-merge	branch 'smp' of github.com:gambit/gambit
