Gabriel Ebner 795c003359 isabelle: use polyml 5.6 ...

Isabelle 2016 does not work with newer PolyML versions.

2017-08-07 17:21:08 +02:00

..

applications

Merge pull request #27931 from gnidorah/kde

2017-08-07 13:15:36 +02:00

build-support

Merge commit 'ad83979e5986fa3bb0d254c2be9482c12a8743b9' from staging

2017-08-06 11:21:53 +02:00

common-updater

…

data

elementary-icon-theme: 4.1.0 -> 4.2.0

2017-08-06 13:42:57 -03:00

desktops

Merge commit 'b679e14' into HEAD

2017-08-07 13:19:09 +02:00

development

isabelle: use polyml 5.6

2017-08-07 17:21:08 +02:00

games

anki: 2.0.36 -> 2.0.46

2017-08-06 15:33:50 +02:00

misc

adapta-gtk-theme: 3.90.0.125 -> 3.91.1.47

2017-08-07 06:37:11 -03:00

os-specific

linux-copperhead: 4.12.4.a -> 4.12.5.a

2017-08-06 22:04:46 -04:00

servers

Merge pull request #27752 from NeQuissimus/mariadb_10_1_25

2017-08-04 22:18:44 -04:00

shells

oil: init at 0.0.0

2017-08-06 18:17:00 +01:00

stdenv

Merge PR #27536

2017-08-03 17:25:30 -04:00

test

macos-sierra-shared: Make live code and add to nascent Darwin channel

2017-07-31 21:28:18 -04:00

tools

pigz: enable parallel building

2017-08-06 23:38:15 +02:00

top-level

isabelle: use polyml 5.6

2017-08-07 17:21:08 +02:00