Skip to content

Releases: arthuraa/extructures

v0.5.0

09 Dec 18:17
@arthuraa arthuraa
v0.5.0
067e181
Compare
Choose a tag to compare
v0.5.0 Latest
Latest 
Release new version.
Assets 2
Loading

v0.4.0

25 Sep 16:14
@arthuraa arthuraa
v0.4.0
7b5e174
Compare
Choose a tag to compare
v0.4.0

This release makes Extructures compatible with MathComp 2.0.0.

Assets 2
Loading

v0.3.1

29 Oct 01:35
@arthuraa arthuraa
v0.3.1
2ec5fbd
Compare
Choose a tag to compare
v0.3.1

Add support for SSReflect 1.13.0.

Assets 2
Loading

v0.3.0

31 Aug 21:35
@arthuraa arthuraa
v0.3.0
7304f96
Compare
Choose a tag to compare
v0.3.0 
Mark 0.3.0.
Assets 2
Loading

v0.2.2

13 Aug 22:17
@arthuraa arthuraa
v0.2.2
329e1f7
Compare
Choose a tag to compare
v0.2.2 
Bump versions.
Assets 2
Loading

v0.2.1

26 Oct 22:19
@arthuraa arthuraa
v0.2.1
d664739
Compare
Choose a tag to compare
v0.2.1 
Update requirements on README.
Assets 2
Loading

v0.2.0

21 Aug 22:48
@arthuraa arthuraa
v0.2.0
c8de095
Compare
Choose a tag to compare
v0.2.0 
Release.
Assets 2
Loading

v0.1.0

26 Apr 13:57
@arthuraa arthuraa
v0.1.0
4d75daa
Compare
Choose a tag to compare
v0.1.0 
Typo.
Assets 2
Loading