[ubuntu/oracular-proposed] cbmc 5.95.1-6 (Accepted)

Graham Inggs graham.inggs+ubuntu at gmail.com
Fri May 3 17:06:45 UTC 2024

Previous message (by thread): [ubuntu/oracular-proposed] nodejs 18.20.1+dfsg-4ubuntu3 (Accepted)
Next message (by thread): [ubuntu/oracular-proposed] ubuntustudio-default-settings 24.10.1 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

cbmc (5.95.1-6) unstable; urgency=low

  * Add mmap64, __time64 support

Date: 2024-04-30 16:27:19.071003+00:00
Changed-By: Michael Tautschnig <mt at debian.org>
Signed-By: Graham Inggs <graham.inggs+ubuntu at gmail.com>
https://launchpad.net/ubuntu/+source/cbmc/5.95.1-6
-------------- next part --------------
Sorry, changesfile not available.

Previous message (by thread): [ubuntu/oracular-proposed] nodejs 18.20.1+dfsg-4ubuntu3 (Accepted)
Next message (by thread): [ubuntu/oracular-proposed] ubuntustudio-default-settings 24.10.1 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the oracular-changes mailing list