Updated Coq to version 8.2pl1
[nixpkgs-libre.git] / pkgs / 
tree481531e24803743401dd54b0c887aa397c44d933
drwxr-xr-x   ..
drwxr-xr-x - applications
drwxr-xr-x - build-support
drwxr-xr-x - configs
drwxr-xr-x - data
drwxr-xr-x - desktops
drwxr-xr-x - development
drwxr-xr-x - games
drwxr-xr-x - lib
drwxr-xr-x - misc
drwxr-xr-x - os-specific
drwxr-xr-x - servers
drwxr-xr-x - shells
drwxr-xr-x - stdenv
drwxr-xr-x - test
drwxr-xr-x - tools
drwxr-xr-x - top-level