projects
/
dports.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Tweak devel/riscv64-none-elf-gcc version 8.4.0_2
[dports.git]
/
lang
/
seed7
/
2020-03-19
DPorts Builder
Update lang/seed7 to version 05.20200308
tree
|
commitdiff
2020-01-30
DPorts Builder
Merge branch 'staged'
tree
|
commitdiff
2020-01-27
DPorts Builder
Update lang/seed7 to version 05.20191229
tree
|
commitdiff
2019-12-28
DPorts Builder
Merge branch 'staged'
tree
|
commitdiff
2019-12-07
DPorts Builder
Tweak lang/seed7 version 05.20190818
tree
|
commitdiff
2019-09-11
DPorts Builder
Merge branch 'staged'
tree
|
commitdiff
2019-08-29
DPorts Builder
Update lang/seed7 to version 05.20190818
tree
|
commitdiff
2019-08-13
DPorts Builder
Update lang/seed7 to version 05.20190714_1
tree
|
commitdiff
2019-05-17
DPorts Builder
Merge branch 'staged'
tree
|
commitdiff
2019-04-28
DPorts Builder
Update lang/seed7 to version 05.20190407
tree
|
commitdiff
2019-01-23
DPorts Builder
Update lang/seed7 to version 05.20190107
tree
|
commitdiff
2018-11-23
DPorts Builder
Update lang/seed7 to version 05.20181014
tree
|
commitdiff
2018-10-13
DPorts Builder
Update lang/seed7 to version 05.20180821
tree
|
commitdiff
2018-08-27
DPorts Builder
Update lang/seed7 to version 05.20180708
tree
|
commitdiff
2018-07-08
DPorts Builder
Update lang/seed7 to version 05.20180601
tree
|
commitdiff
2018-03-21
DPorts Builder
Update lang/seed7 to version 05.20180304
tree
|
commitdiff
2018-01-13
DPorts Builder
Update lang/seed7 to version 05.20180107
tree
|
commitdiff
2017-11-01
DPorts Builder
Update lang/seed7 to version 05.20170915
tree
|
commitdiff
2017-07-05
DPorts Builder
Update lang/seed7 to version 05.20170501_1
tree
|
commitdiff
2017-02-08
DPorts Builder
Update lang/seed7 to version 05.20170129
tree
|
commitdiff
2017-01-06
DPorts Builder
Update lang/seed7 to version 05.20161231
tree
|
commitdiff
2016-12-09
DPorts Builder
Update lang/seed7 to version 05.20161031
tree
|
commitdiff
2016-11-20
DPorts Builder
Tweak lang/seed7 version 05.20161002
tree
|
commitdiff
2016-10-17
DPorts Builder
Update lang/seed7 to version 05.20161002
tree
|
commitdiff
2016-09-05
DPorts Builder
Update lang/seed7 to version 05.20160831
tree
|
commitdiff
2016-08-31
DPorts Builder
Update lang/seed7 to version 05.20160731
tree
|
commitdiff
2016-07-09
DPorts Builder
Update lang/seed7 to version 05.20160630
tree
|
commitdiff
2016-06-14
DPorts Builder
Update lang/seed7 to version 05.20160531
tree
|
commitdiff
2016-05-23
DPorts Builder
Update lang/seed7 to version 05.20160430
tree
|
commitdiff
2016-04-18
DPorts Builder
Update lang/seed7 to version 05.20160330
tree
|
commitdiff
2016-03-10
DPorts Builder
Update lang/seed7 to version 05.20160229
tree
|
commitdiff
2016-03-05
DPorts Builder
Tweak lang/seed7 version 05.20160130
tree
|
commitdiff
2016-02-08
DPorts Builder
Update lang/seed7 to version 05.20160130
tree
|
commitdiff
2015-09-30
DPorts Builder
Tweak lang/seed7 version 05.20140907
tree
|
commitdiff
2014-12-31
DPorts Builder
Tweak lang/seed7 version 05.20140907
tree
|
commitdiff
2014-11-04
DPorts Builder
Tweak lang/seed7 version 05.20140907
tree
|
commitdiff
2014-09-15
DPorts Builder
Update lang/seed7 to version 05.20140907
tree
|
commitdiff
2014-08-21
DPorts Builder
Update lang/seed7 to version 05.20140803
tree
|
commitdiff
2014-07-23
DPorts Builder
Update lang/seed7 to version 05.20140720
tree
|
commitdiff
2014-07-15
DPorts Builder
Update lang/seed7 to version 05.20140706
tree
|
commitdiff
2014-06-21
DPorts Builder
Update lang/seed7 to version 05.20140601
tree
|
commitdiff
2014-05-26
DPorts Builder
Update lang/seed7 to version 05.20140518
tree
|
commitdiff
2014-05-06
DPorts Builder
Update lang/seed7 to version 05.20140420
tree
|
commitdiff
2014-04-01
DPorts Builder
Update lang/seed7 to version 05.20140316
tree
|
commitdiff
2014-03-15
DPorts Builder
Update lang/seed7 to version 05.20140302
tree
|
commitdiff
2014-02-19
DPorts Builder
Update lang/seed7 to version 05.20140216
tree
|
commitdiff
2014-02-13
DPorts Builder
Update lang/seed7 to version 05.20140202
tree
|
commitdiff
2014-01-28
DPorts Builder
Update lang/seed7 to version 05.20140119
tree
|
commitdiff
2014-01-13
DPorts Builder
Update lang/seed7 to version 05.20140105
tree
|
commitdiff
2013-11-27
DPorts Builder
Update lang/seed7 to version 05.20131124
tree
|
commitdiff
2013-11-14
DPorts Builder
Update lang/seed7 to version 05.20131110
tree
|
commitdiff
2013-11-01
DPorts Builder
Update lang/seed7 to version 05.20131027
tree
|
commitdiff
2013-10-18
DPorts Builder
Update lang/seed7 to version 05.20131013
tree
|
commitdiff
2013-10-15
DPorts Builder
Tweak lang/seed7 version 05.20130908
tree
|
commitdiff
2013-09-11
DPorts Builder
Update lang/seed7 to version 05.20130908
tree
|
commitdiff
2013-08-13
DPorts Builder
Update lang/seed7 to version 05.20130805
tree
|
commitdiff
2013-07-10
DPorts Builder
Update lang/seed7 to version 05.20130704
tree
|
commitdiff
2013-06-28
DPorts Builder
Update lang/seed7 to version 05.20130616
tree
|
commitdiff
2013-06-15
DPorts Builder
Update lang/seed7 to version 05.20130602
tree
|
commitdiff
2013-06-03
Automaton
Update lang/seed7 to version 05.20130505
tree
|
commitdiff
2013-04-23
Automaton
Update lang/seed7 to version 05.20130421
tree
|
commitdiff
2013-03-30
Automaton
Update lang/seed7 to version 05.20130317
tree
|
commitdiff
2013-03-14
Automaton
Update lang/seed7 to version 05.20130303
tree
|
commitdiff
2013-03-06
Automaton
Update lang/seed7 to version 05.20130217
tree
|
commitdiff
2013-01-20
Automaton IAS
Update lang/seed7 to version 05.20130105
tree
|
commitdiff
2013-01-13
Automaton IAS
Update lang/seed7 to version 05.20121212
tree
|
commitdiff
2012-12-15
Automaton
Import lang/seed7 version 05.20121125
tree
|
commitdiff