14:16 Ticket #115 (make says "missing separator" on CentOS 7) closed by John Lång
worksforme: The problem turned out to be too old version of GNU make (3.82). With …
13:46 Ticket #115 (make says "missing separator" on CentOS 7) created by John Lång
I'm trying to build DIVINE version 4.4.2 from the source tarball on …


11:58 Ticket #114 (divine check fails with "cannot enter kernel mode here") created by John Lång
When I'm trying to check my models with DIVINE 4.4.2 (after building …
10:53 Ticket #113 (make install fails for DIVINE 4.4.2 on Debian 10) created by John Lång
The output can be found in the attachment.
Note: See TracTimeline for information about the timeline view.