These are chat archives for symengine/symengine

Aug 2017
Isuru Fernando
Aug 20 2017 22:04
@ShikharJ, about uploading dev binaries, you need to first send a PR by changing . Change commit to the commit you need and the version would be what you get from git describe --tags with dashes replaced by dots. Then you need to send a PR by changing