Tactician Standard Library 1.0~beta2+8.16 for Coq 8.16

1.0-beta2-8.16

Merge branch 'coq8.15' into coq8.16

Tactician Standard Library 1.0~beta2+8.15 for Coq 8.15

1.0-beta2-8.15

Merge branch 'coq8.14' into coq8.15

Tactician Standard Library 1.0~beta2+8.14 for Coq 8.14

1.0-beta2-8.14

Merge branch 'coq8.13' into coq8.14

Tactician Standard Library 1.0~beta2+8.13 for Coq 8.13

1.0-beta2-8.13

Merge branch 'coq8.12' into coq8.13

Tactician Standard Library 1.0~beta2+8.12 for Coq 8.12

1.0-beta2-8.12

Merge branch 'coq8.11' into coq8.12

Tactician Standard Library 1.0~beta2+8.11 for Coq 8.11

1.0-beta2-8.11

Chance license to lgpl since this is what Coq is

Tactician Standard Library 1.0~beta1 for Coq 8.13

1.0-beta1-8.13

Merge branch 'coq8.12' into coq8.13

Tactician Standard Library 1.0~beta1 for Coq 8.12

1.0-beta1-8.12

Merge branch 'coq8.11' into coq8.12

Tactician Standard Library 1.0~beta1 for Coq 8.11

1.0-beta1-8.11

Add informal license