Commits - package/coq - Pagure for openSUSE

package / coq

Source
Stats

Commits 27

Update coq to version 8.19.1 / rev 27 via SR 1156169

aaronpuchert • 2 months ago

63dc1d

Update coq to version 8.19.0 / rev 26 via SR 1142140

aaronpuchert • 4 months ago

a6eb1d

Update coq to version 8.18.0 / rev 25 via SR 1125372

aaronpuchert • 6 months ago

c8a38d

Update coq to version 8.18.0 / rev 24 via SR 1121332

aaronpuchert • 7 months ago

a12fba

Update coq to version 8.18.0 / rev 23 via SR 1111685

aaronpuchert • 8 months ago

deba45

Update coq to version 8.17.1 / rev 22 via SR 1095883

aaronpuchert • 11 months ago

80d56a

Update coq to version 8.17.0 / rev 21 via SR 1075082

aaronpuchert • a year ago

59d9c5

Update coq to version 8.16.1 / rev 20 via SR 1061434

aaronpuchert • a year ago

b464dc

Update coq to version 8.16.1 / rev 19 via SR 1038367

aaronpuchert • a year ago

d51288

Update coq to version 8.16.0 / rev 18 via SR 1002206

aaronpuchert • 2 years ago

d667fb

Update coq to version 8.15.2 / rev 17 via SR 980409

aaronpuchert • 2 years ago

f71007

Update coq to version 8.15.1 / rev 16 via SR 964734

aaronpuchert • 2 years ago

9009f9

Update coq to version 8.15.0 / rev 15 via SR 946708

aaronpuchert • 2 years ago

26a420

Update coq to version 8.14.1 / rev 14 via SR 940115

aaronpuchert • 2 years ago

6e1776

Update coq to version 8.14.0 / rev 13 via SR 926632

aaronpuchert • 2 years ago

b59c39

Update coq to version 8.13.2 / rev 12 via SR 916845

aaronpuchert • 2 years ago

e0fc32

Update coq to version 8.13.2 / rev 11 via SR 889764

aaronpuchert • 3 years ago

cbc148

Update coq to version 8.13.1 / rev 10 via SR 875244

aaronpuchert • 3 years ago

be078d

Update coq to version 8.12.2 / rev 8 via SR 855595

aaronpuchert • 3 years ago

ea1791

Update coq to version 8.12.1 / rev 7 via SR 849178

aaronpuchert • 3 years ago

f70fc4

update 2020-11-04 17:30 + 23:30

Bernhard M. Wiedemann • 3 years ago

dec7d9

Update coq to rev 6 via SR 824553

Bernhard M. Wiedemann • 3 years ago

f32f07

Update coq to rev 5 via SR 812064

Bernhard M. Wiedemann • 3 years ago

304882

Update coq to rev 4 via SR 792575

Bernhard M. Wiedemann • 4 years ago

19680e

Update coq to rev 3 via SR 789593

Bernhard M. Wiedemann • 4 years ago

1d1419

Update coq to rev 2 via SR 774603

Bernhard M. Wiedemann • 4 years ago

db88d3

Update coq to rev 1 via SR 747961

Bernhard M. Wiedemann • 4 years ago

93099e