Block or report user

Report or block wizeman

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • Madrid, Spain

Organizations

@NixOS

Pinned repositories

  1. rust-lang/rust

    A safe, concurrent, practical language.

    Rust 29.5k 5.1k

  2. ponylang/ponyc

    🐴 Pony is an open-source, actor-model, capabilities-secure, high performance programming language

    C++ 3.3k 281

  3. NixOS/nixpkgs

    Nix Packages collection

    Nix 2.6k 2.9k

  4. NixOS/nix

    Nix, the purely functional package manager

    C++ 1.9k 359

37 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

July 2018

Created a pull request in NixOS/nixpkgs that received 2 comments

why3: 0.88.3 -> 1.0.0

Motivation for this change Update why3 from 0.88.3 to 1.0.0. Things done Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in n…

+3 −3 2 comments

Seeing something unexpected? Take a look at the GitHub profile guide.