# Michał Górny <[email protected]> (03 Apr 2019) # Depends on dev-lang/polyml that no longer builds. The current version # is two years old, and needs a bump for 1.5 year. # Removal in 30 days. Bug #682406. sci-mathematics/isabelle
-- Best regards, Michał Górny
signature.asc
Description: This is a digitally signed message part
