summary refs log tree commit diff
path: root/pkgs/development/coq-modules/mathcomp-analysis/default.nix
diff options
context:
space:
mode:
authorElis Hirwing <elis@hirwing.se>2019-02-18 07:43:08 +0100
committerGitHub <noreply@github.com>2019-02-18 07:43:08 +0100
commit925b196c554b7fb3a2b95574b983394de8d1338c (patch)
treea1493285bb116613fac191c8684aef6368ecbca5 /pkgs/development/coq-modules/mathcomp-analysis/default.nix
parentb75eab88bde1b13cbe83d25b477d83eaf811e0cf (diff)
parent1963f5b70c17e0443cd7b22e03aa10a656cbbc41 (diff)
downloadnixpkgs-925b196c554b7fb3a2b95574b983394de8d1338c.tar
nixpkgs-925b196c554b7fb3a2b95574b983394de8d1338c.tar.gz
nixpkgs-925b196c554b7fb3a2b95574b983394de8d1338c.tar.bz2
nixpkgs-925b196c554b7fb3a2b95574b983394de8d1338c.tar.lz
nixpkgs-925b196c554b7fb3a2b95574b983394de8d1338c.tar.xz
nixpkgs-925b196c554b7fb3a2b95574b983394de8d1338c.tar.zst
nixpkgs-925b196c554b7fb3a2b95574b983394de8d1338c.zip
Merge pull request #55987 from jethrokuan/update/fish
fish: 3.0.0 -> 3.0.1
Diffstat (limited to 'pkgs/development/coq-modules/mathcomp-analysis/default.nix')
0 files changed, 0 insertions, 0 deletions