Sergei Trofimovich de5233cf61 givaro: backport gcc-13 build fix ... Without the change `givaro` build on `gcc-13` fails as: /givaro/givdegree.h:42:33: error: 'uint64_t' does not name a type 42 | Degree operator*( const uint64_t& e) const { return Degree(_deg*e); } | ^~~~~~~~ /givaro/givdegree.h:23:1: note: 'uint64_t' is defined in header '<cstdint>'; this is probably fixable by adding '#include <cstdint>' 22 | #include <iostream> +++ |+#include <cstdint>		2023-07-09 10:17:05 +01:00
..
3.7.nix
3.nix
default.nix