Admin/components/main
changeset 69098 dabe59286c79
parent 69095 39b248fb20a2
child 69132 9dabb405a3ba
     1.1 --- a/Admin/components/main	Sun Sep 30 18:19:28 2018 -0400
     1.2 +++ b/Admin/components/main	Mon Oct 01 12:19:55 2018 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4  kodkodi-1.5.2-1
     1.5  nunchaku-0.5
     1.6  polyml-5.7.1-8
     1.7 -postgresql-42.2.2
     1.8 +postgresql-42.2.5
     1.9  scala-2.12.7
    1.10  smbc-0.4.1
    1.11  ssh-java-20161009