ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-12 07:52:44 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
27d4cb871f
genode/repos/libports/ports/ada-runtime.hash

2 lines
41 B
Plaintext
Raw Normal View History

ada-runtime: add s-expint.ad* * switch to fork of the Ada runtime provided by m-stein * switch to a Ada-runtime state that provides the Exp_Int package (exponential function on integers) * adapt spark lib, symbols, and recipes to incorporate the Exp_Int package Fixes #3848
2020-05-19 10:15:06 +00:00
fabce1ce8b266d045615050e8e326159ae888a0d
Reference in New Issue Copy Permalink