Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

pythonPackages: sphinxcontrib-wavedrom: init at 2.0.0, wavedrom: init at 0.1 #54234

Closed
wants to merge 3 commits into from

Conversation

clacke
Copy link
Contributor

@clacke clacke commented Jan 18, 2019

Motivation for this change
Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS)
  • Built on platform(s)
    • NixOS
    • macOS
    • other Linux distributions
  • Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Determined the impact on package closure size (by running nix path-info -S before and after)
  • Assured whether relevant documentation is up to date
  • Fits CONTRIBUTING.md.

@FRidh
Copy link
Member

FRidh commented Jan 18, 2019

Sphinx update is already in staging. Rebase onto staging.

@clacke
Copy link
Contributor Author

clacke commented Jan 29, 2019

Does not build on staging because dejagnu doesn't. Do we file issues against staging, or is this tracked somewhere else?

@clacke clacke changed the title python: sphinxcontrib-wavedrom: init at 2.0.0, Sphinx: 1.7.9 -> 1.8.3, wavedrom: init at 0.1 pythonPackages.sphinxcontrib-wavedrom: init at 2.0.0, pythonPackages.wavedrom: init at 0.1 Feb 19, 2019
@clacke clacke changed the title pythonPackages.sphinxcontrib-wavedrom: init at 2.0.0, pythonPackages.wavedrom: init at 0.1 pythonPackages: sphinxcontrib-wavedrom: init at 2.0.0, wavedrom: init at 0.1 Feb 19, 2019
@mmahut
Copy link
Member

mmahut commented Aug 20, 2019

Are there any updates on this pull request, please?

@ttuegel ttuegel removed their request for review September 28, 2019 11:58
@FRidh
Copy link
Member

FRidh commented Feb 9, 2020

Nothing happening so closing.

@FRidh FRidh closed this Feb 9, 2020
@Spaqin
Copy link

Spaqin commented Feb 15, 2022

Any plans on integrating sphinxcontrib-wavedrom 3.0+ to nixpkgs? Especially since wavedrom is already a part of it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

6 participants