Update sets

This commit is contained in:
2018-06-06 14:42:20 +02:00
parent e34e790cff
commit 57dda7b0e2
5 changed files with 58 additions and 10 deletions

View File

@@ -20,6 +20,8 @@
* dev-util/splint
* app-doc/doxygen
* media-gfx/graphviz
* dev-util/astyle
* dev-util/valgrind
# GTK
* dev-util/glade
@@ -54,7 +56,8 @@
* fonts/FiraCode
# rust
* dev-lang/rust
* dev-lang/rust:stable
* dev-lang/rust:nightly
# scala
* dev-lang/scala-bin
@@ -80,3 +83,23 @@
# fstar
* dev-lang/fstar
* dev-lang/fsharp
# python
* dev-lang/python:2.7
* dev-lang/python:3.6
* dev-lang/python
* dev-lang/coconut
* dev-python/mypy
# databases
* dev-db/mysql-workbench
* dev-db/mysql
* dev-db/pgmodeler
* dev-db/postgresql
# clojure
* dev-lang/clojure
# others
* dev-lang/elixir
* dev-lang/openjdk8