diff options
author | Daiderd Jordan <daiderd@gmail.com> | 2016-11-13 00:42:17 +0100 |
---|---|---|
committer | Daiderd Jordan <daiderd@gmail.com> | 2016-11-13 00:42:23 +0100 |
commit | c7d1925b6eb805acbeba9e9324969bf67965d350 (patch) | |
tree | 5b1e6a38b0e30416ccd478a71b4f97540739a501 /pkgs/development/coq-modules/flocq | |
parent | 7e933af17344c049cdb13bffeafdb82f0927f3bc (diff) | |
download | nixpkgs-c7d1925b6eb805acbeba9e9324969bf67965d350.tar nixpkgs-c7d1925b6eb805acbeba9e9324969bf67965d350.tar.gz nixpkgs-c7d1925b6eb805acbeba9e9324969bf67965d350.tar.bz2 nixpkgs-c7d1925b6eb805acbeba9e9324969bf67965d350.tar.lz nixpkgs-c7d1925b6eb805acbeba9e9324969bf67965d350.tar.xz nixpkgs-c7d1925b6eb805acbeba9e9324969bf67965d350.tar.zst nixpkgs-c7d1925b6eb805acbeba9e9324969bf67965d350.zip |
Revert "db: fix build with libc++-3.8"
This reverts commit 7e933af17344c049cdb13bffeafdb82f0927f3bc.
Diffstat (limited to 'pkgs/development/coq-modules/flocq')
0 files changed, 0 insertions, 0 deletions