Skip to content

v0.5.0

Compare
Choose a tag to compare
@github-actions github-actions released this 23 Sep 14:09
· 6745 commits to master since this release

Oscar v0.5.0

Diff since v0.4.0

Closed issues:

  • WARNING: import of Hecke.example into Oscar conflicts with an existing identifier; ignored. (#97)
  • Oscar fails to precompile on Ubuntu (#137)
  • installing Oscar is broken (#151)
  • New Oscar release todo (#152)

Merged pull requests: