Package "libpolyml-dev"
| Name: | libpolyml-dev |
Description: |
development files for Poly/ML, a compiler for Standard ML |
| Latest version: | 5.7.1-5build1 |
| Release: | noble (24.04) |
| Level: | base |
| Repository: | universe |
| Head package: | polyml |
| Homepage: | http://www.polyml.org |
Links
Download "libpolyml-dev"
Other versions of "libpolyml-dev" in Noble
No other version of this package is available in the Noble release.Changelog
| Version: 5.7.1-5build1 | 2024-04-22 18:07:22 UTC |
|---|---|
|
polyml (5.7.1-5build1) noble; urgency=high * No change rebuild against frame pointers and time_t. -- Julian Andres Klode <email address hidden> Mon, 22 Apr 2024 11:50:31 +0200 |
|
About
-
Send Feedback to @ubuntu_updates
