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.