Tags

Tags give the ability to mark specific points in history as being important

v0.7.6

9059bb5e · Changes · Jan 15, 2025
v0.7.5

10cd385b · tweaks to Makefile · Jan 09, 2025
v0.7.4

68c2510e · Fix priority between → and * in type printing · Nov 27, 2024
v0.7.3

1e730722 · Fix · Nov 15, 2023
v0.7.2

d090f0f5 · Release version 0.7.2 · Nov 14, 2023
v0.7.1

6167ae98 · Release version 0.7.1 · Sep 28, 2023
```
OPAM necrodebug package for deployment
```
v0.7

3848cbf0 · Release version 0.7 · Sep 25, 2023
```
OPAM necrodebug package for deployment
```
v0.6.7.1

16b6f5c0 · Rerelease · Jul 11, 2023
v0.6.7

546a6407 · Release version 0.6.7 · Mar 14, 2023
```
OPAM necrodebug package for deployment
```
v0.6.6.2

1e6d40a6 · Release version 0.6.6.2 · Mar 03, 2023
```
OPAM necrodebug package for deployment
```
v0.6.6.1

726ccc97 · Release version 0.6.6.1 · Feb 09, 2023
```
OPAM necrodebug package for deployment
```
v0.6.6

0b6a8264 · Release version 0.6.6 · Feb 09, 2023
```
OPAM necrodebug package for deployment
```
v0.6.5

3511c5f9 · Release version 0.6.5 · Feb 08, 2023
```
OPAM necrodebug package for deployment
```
v0.6.4.1

de647323 · Release version 0.6.4.1 · Feb 01, 2023
```
OPAM necrodebug package for deployment
```
v0.6.4

9c25dc51 · Release version 0.6.4 · Feb 01, 2023
```
OPAM necrodebug package for deployment
```
v0.6.3.1

0326833f · Release version 0.6.3.1 · Jan 27, 2023
```
OPAM necrodebug package for deployment
```
v0.6.3

e3d95fd5 · Release version 0.6.3 · Jan 20, 2023
```
OPAM necrodebug package for deployment
```
v0.6.2.5.1

e06de1bb · Release version 0.6.2.5.1 · Jan 20, 2023
```
OPAM necrodebug package for deployment
```
v0.6.2.5

28ed2227 · Release version 0.6.2.5 · Jan 20, 2023
```
OPAM necrodebug package for deployment
```
v0.6.2.4.1

8ab17734 · Release version 0.6.2.4.1 · Jan 20, 2023
```
OPAM necrodebug package for deployment
```

Admin message