profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/siraben/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Ben Siraphob siraben Vanderbilt University Nashville, TN siraben.github.io Class of '23, math + CS at Vanderbilt University.

ActorForth/ActorForth 14

A strongly typed Forth-like language ultimately intended to target cryptoledgers and support an Actor concurrency model. Initially implemented in Python, now switched to modern C++.

coq-community/sudoku 12

A certified Sudoku solver in Coq [maintainers=@siraben,@thery]

siraben/awk-vm 6

A virtual machine and assembler written in AWK.

JudgeMadan/ISBPowerSchoolEnhancer 4

Enhances ISB's PowerSchool Functionality

ActorForth/evm-assembler 3

An assembler for the EVM, written in Python.

siraben/brownies 3

This a game I hacked together with Biwascheme.

ActorForth/bitcoincash-research 2

Research for target bitcoin cash

ActorForth/slpdb-old-repo 1

Dockerize slpdb with dependent microservice and connect to regtest node

siraben/compiler 1

Bootstrapping GCC from combinatory logic.

siraben/coq-rings 1

Ring Theory in Coq from Scratch

pull request commentNixOS/nixpkgs

Various crystal improvements

Result of nixpkgs-review pr 131808 run on x86_64-darwin 1 <details> <summary>11 packages failed to build:</summary> <ul> <li>ameba</li> <li>crystal (crystal_1_0)</li> <li>crystal2nix</li> <li>crystal_0_36</li> <li>icr</li> <li>lucky-cli</li> <li>mint</li> <li>oq</li> <li>scry</li> <li>shards (shards_0_15)</li> <li>thicket</li> </ul> </details>

Artturin

comment created time in 4 hours

pull request commentNixOS/nixpkgs

Various crystal improvements

@Artturin I have that log

$ nix log /nix/store/dhr9b6rpnbl6lwz6q9nr02mmzgp9q4f3-crystal-0.36.1.drv | ix
http://ix.io/3zze
Artturin

comment created time in 14 hours

pull request commentNixOS/nixpkgs

Various crystal improvements

Result of nixpkgs-review pr 131808 run on x86_64-darwin 1 <details> <summary>11 packages failed to build:</summary> <ul> <li>ameba</li> <li>crystal (crystal_1_0)</li> <li>crystal2nix</li> <li>crystal_0_36</li> <li>icr</li> <li>lucky-cli</li> <li>mint</li> <li>oq</li> <li>scry</li> <li>shards (shards_0_15)</li> <li>thicket</li> </ul> </details>

Artturin

comment created time in a day

pull request commentNixOS/nixpkgs

Various crystal improvements

Might be a spurious error (impurity?). Re-running.

Artturin

comment created time in a day

pull request commentNixOS/nixpkgs

Various crystal improvements

Result of nixpkgs-review pr 131808 run on x86_64-darwin 1 <details> <summary>11 packages failed to build:</summary> <ul> <li>ameba</li> <li>crystal (crystal_1_0)</li> <li>crystal2nix</li> <li>crystal_0_36</li> <li>icr</li> <li>lucky-cli</li> <li>mint</li> <li>oq</li> <li>scry</li> <li>shards (shards_0_15)</li> <li>thicket</li> </ul> </details>

Artturin

comment created time in a day

pull request commentNixOS/nixpkgs

Various crystal improvements

$ nix log /nix/store/dhr9b6rpnbl6lwz6q9nr02mmzgp9q4f3-crystal-0.36.1.drv | ix
http://ix.io/3zwQ
Artturin

comment created time in a day

pull request commentNixOS/nixpkgs

racket: unbreak on darwin

Result of nixpkgs-review pr 138783 run on x86_64-darwin 1

siraben

comment created time in a day

pull request commentNixOS/nixpkgs

Various crystal improvements

Result of nixpkgs-review pr 131808 run on x86_64-darwin 1 <details> <summary>11 packages failed to build:</summary> <ul> <li>ameba</li> <li>crystal (crystal_1_0)</li> <li>crystal2nix</li> <li>crystal_0_36</li> <li>icr</li> <li>lucky-cli</li> <li>mint</li> <li>oq</li> <li>scry</li> <li>shards (shards_0_15)</li> <li>thicket</li> </ul> </details>

Artturin

comment created time in a day

pull request commentNixOS/nixpkgs

racket: unbreak on darwin

Related: #53389. Build succeeds but libX11 is not found.

$ ./result/bin/drracket 
ffi-lib: could not load foreign library
  path: libX11.6.dylib
  system error: dlopen(libX11.6.dylib, 6): image not found
  context...:
   /nix/store/1pblhp16yjjhlayd0zz60y84g469x6y1-racket-8.2/share/racket/collects/ffi/unsafe.rkt:131:0: get-ffi-lib
   body of "/nix/store/1pblhp16yjjhlayd0zz60y84g469x6y1-racket-8.2/share/racket/pkgs/gui-lib/mred/private/wx/gtk/x11.rkt"
   body of "/nix/store/1pblhp16yjjhlayd0zz60y84g469x6y1-racket-8.2/share/racket/pkgs/gui-lib/mred/private/wx/platform.rkt"

siraben

comment created time in a day

PR opened NixOS/nixpkgs

racket: unbreak on darwin

<!-- To help with the large amounts of pull requests, we would appreciate your reviews of other pull requests, especially simple package updates. Just leave a comment describing what you have tested in the relevant package/service. Reviewing helps to reduce the average time-to-merge for everyone. Thanks a lot if you do! List of open PRs: https://github.com/NixOS/nixpkgs/pulls Reviewing guidelines: https://nixos.org/manual/nixpkgs/unstable/#chap-reviewing-contributions -->

Motivation for this change
Things done

<!-- Please check what applies. Note that these are not hard requirements but merely serve as information for reviewers. -->

  • Built on platform(s)
    • [ ] x86_64-linux
    • [ ] aarch64-linux
    • [ ] x86_64-darwin
    • [ ] aarch64-darwin
  • [ ] For non-Linux: Is sandbox = true set in nix.conf? (See Nix manual)
  • [ ] Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • [ ] Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
  • [ ] Tested execution of all binary files (usually in ./result/bin/)
  • 21.11 Release Notes (or backporting 21.05 Release notes)
    • [ ] (Package updates) Added a release notes entry if the change is major or breaking
    • [ ] (Module updates) Added a release notes entry if the change is significant
    • [ ] (Module addition) Added a release notes entry if adding a new NixOS module
  • [ ] Fits CONTRIBUTING.md.
+0 -1

0 comment

1 changed file

pr created time in a day

create barnchsiraben/nixpkgs

branch : racket-darwin

created branch time in a day

pull request commentNixOS/nixpkgs

Various crystal improvements

Reviewing again tonight (UTC -5) on macOS.

Artturin

comment created time in a day

push eventsiraben/siraben-overlay

Ben Siraphob

commit sha f8af7a394e1cdce452d72ec94e309a543370fd22

flake.lock: Update Flake input changes: * Updated 'nixpkgs': 'github:NixOS/nixpkgs/c464dc811babfe316ed4ab7bbc12351122e69dd7' -> 'github:NixOS/nixpkgs/79c444b5bdeaba142d128afddee14c89ecf2a968' * Updated 'utils': 'github:numtide/flake-utils/f7e004a55b120c02ecb6219596820fcd32ca8772' -> 'github:numtide/flake-utils/7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19'

view details

Ben Siraphob

commit sha 1530b505c154483633ed9ea5e795d491bade75be

rmview: 2.1 -> unstable-2021-09-17

view details

Ben Siraphob

commit sha 8d7d9814743b6991d27379916f8f794addc0444c

morsel: init at 0.1.0

view details

push time in 2 days

issue closedNixOS/nixpkgs

Vulnerability roundup 104: racket-8.0: 1 advisory [7.5]

search, files

CVE details

CVE-2021-32773

Racket is a general-purpose programming language and an ecosystem for language-oriented programming. In versions prior to 8.2, code evaluated using the Racket sandbox could cause system modules to incorrectly use attacker-created modules instead of their intended dependencies. This could allow system functions to be controlled by the attacker, giving access to facilities intended to be restricted. This problem is fixed in Racket version 8.2. A workaround is available, depending on system settings. For systems that provide arbitrary Racket evaluation, external sandboxing such as containers limit the impact of the problem. For multi-user evaluation systems, such as the handin-server system, it is not possible to work around this problem and upgrading is required.


Scanned versions: nixos-21.05: 2262d7863a6.

Cc @henrytill Cc @vrthra

closed time in 2 days

ckauhaus

issue closedNixOS/nixpkgs

Vulnerability roundup 104: racket-8.1: 1 advisory [7.5]

search, files

CVE details

CVE-2021-32773

Racket is a general-purpose programming language and an ecosystem for language-oriented programming. In versions prior to 8.2, code evaluated using the Racket sandbox could cause system modules to incorrectly use attacker-created modules instead of their intended dependencies. This could allow system functions to be controlled by the attacker, giving access to facilities intended to be restricted. This problem is fixed in Racket version 8.2. A workaround is available, depending on system settings. For systems that provide arbitrary Racket evaluation, external sandboxing such as containers limit the impact of the problem. For multi-user evaluation systems, such as the handin-server system, it is not possible to work around this problem and upgrading is required.


Scanned versions: nixos-unstable: 1905f5f2e55.

Cc @henrytill Cc @vrthra

closed time in 2 days

ckauhaus

pull request commentNixOS/nixpkgs

wasmtime: 0.21.0 -> 0.28.0

$ cat ~/.cache/nixpkgs-review/pr-109571/logs/wasmtime.log  | ix

http://ix.io/3zsX

ggreif

comment created time in 2 days

pull request commentNixOS/nixpkgs

wasmtime: 0.21.0 -> 0.28.0

Result of nixpkgs-review pr 109571 run on x86_64-darwin 1 <details> <summary>1 package failed to build:</summary> <ul> <li>wasmtime</li> </ul> </details>

ggreif

comment created time in 2 days

push eventNixOS/nixpkgs

Cole Mickens

commit sha f65bd7a8a7c3af6d40d4943483e68a7b76c4c750

libopenmpt: default to supporting pulseaudio

view details

Ben Siraphob

commit sha 0a44482ab55fc7e087087ed88682fba32184f12a

Merge pull request #138345 from colemickens/master

view details

push time in 2 days

PR merged NixOS/nixpkgs

Reviewers
libopenmpt: default to supporting pulseaudio 10.rebuild-linux: 101-500 10.rebuild-darwin: 0
Motivation for this change

see: https://github.com/NixOS/nixpkgs/issues/138332

When #136735 was merged, it included this as a new input for libopenmpt:

usePulseAudio ? config.pulseaudio or false

Any user that had config.pulseaudio = true set, will start having to build libopenmpt and its dependents (including webkit-gtk) from source.

We should instead default to building this with pulse support to be more in line with other desktop-oriented packages in nixpkgs that tend to build with support for Pulse when building for linux.

For example, this is how libao is packaged+built.

Things done

<!-- Please check what applies. Note that these are not hard requirements but merely serve as information for reviewers. -->

  • Built on platform(s)
    • [ ] x86_64-linux
    • [ ] aarch64-linux
    • [ ] x86_64-darwin
    • [ ] aarch64-darwin
  • [ ] For non-Linux: Is sandbox = true set in nix.conf? (See Nix manual)
  • [ ] Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • [ ] Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
  • [ ] Tested execution of all binary files (usually in ./result/bin/)
  • 21.11 Release Notes (or backporting 21.05 Release notes)
    • [ ] (Package updates) Added a release notes entry if the change is major or breaking
    • [ ] (Module updates) Added a release notes entry if the change is significant
    • [ ] (Module addition) Added a release notes entry if adding a new NixOS module
  • [ ] Fits CONTRIBUTING.md.
+1 -1

3 comments

1 changed file

colemickens

pr closed time in 2 days

push eventsiraben/siraben-overlay

Ben Siraphob

commit sha 92d41c058c26ed7ddac0c34944f64f583432f34a

the-powder-toy: delete (upstreamed)

view details

Ben Siraphob

commit sha 357a1f713224ae42ce884cbfad3eeac47b5c5d83

s9fes: delete (upstreamed)

view details

Ben Siraphob

commit sha 1955df253398d48e774509dc40ff9093f7e168b1

spoof-mac: delete (upstreamed)

view details

Ben Siraphob

commit sha a12a151108f139124adbf229b5acc491573dc72e

remkrom: delete (upstreamed)

view details

Ben Siraphob

commit sha c4bc930798f2f7aa08c0b65009fcc6d881bb8921

regenkfs: delete (upstreamed)

view details

push time in 3 days

issue closedNixOS/nixpkgs

undefined variable 'isPath' in pkgs/build-support/coq/meta-fetch/default.nix

Describe the bug

Evaluating any package on my installation (to install it, for example) throws an error: undefined variable 'isPath' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/meta-fetch/default.nix:66:12.

$ nix-env --show-trace -i hello
error: while evaluating the attribute 'coq' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/top-level/coq-packages.nix:124:3:
while evaluating 'recurseIntoAttrs' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/lib/attrsets.nix:502:5, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/top-level/coq-packages.nix:121:17:
while evaluating 'mapDerivationAttrset' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/lib/meta.nix:46:29, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/top-level/coq-packages.nix:121:35:
while evaluating 'mkCoqPackages' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/top-level/coq-packages.nix:98:19, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/top-level/coq-packages.nix:118:22:
while evaluating 'filterPackages' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/top-level/coq-packages.nix:72:24, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/top-level/coq-packages.nix:100:5:
while evaluating 'filterCoqPackages' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/top-level/coq-packages.nix:75:23, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/top-level/coq-packages.nix:72:55:
while evaluating anonymous function at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/top-level/coq-packages.nix:77:22, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/top-level/coq-packages.nix:77:7:
while evaluating 'optional' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/lib/lists.nix:254:20, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/top-level/coq-packages.nix:78:11:
while evaluating the attribute 'meta.coqFilter' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/stdenv/generic/make-derivation.nix:372:19:
while evaluating the attribute 'meta' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/default.nix:75:3:
while evaluating 'optionalAttrs' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/lib/attrsets.nix:349:25, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/default.nix:80:5:
while evaluating anonymous function at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/meta-fetch/default.nix:36:1, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/default.nix:45:13:
while evaluating 'switch' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:139:26, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/meta-fetch/default.nix:37:1:
while evaluating 'switch-if' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:111:18, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:144:5:
while evaluating 'findFirst' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/lib/lists.nix:199:5, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:111:22:
while evaluating 'combine' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:141:21, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:144:34:
while evaluating 'opTruncate' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:7:28, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/development/coq-modules/Cheerios/default.nix:7:23:
while evaluating 'versionAtLeast' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/lib/strings.nix:503:24, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:8:10:
while evaluating 'versionOlder' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/lib/strings.nix:491:22, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/lib/strings.nix:503:29:
while evaluating 'truncate' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:6:21, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:8:14:
while evaluating 'sublist' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/lib/lists.nix:589:5, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:6:46:
while evaluating the attribute 'coq-version' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/applications/science/logic/coq/default.nix:76:12:
while evaluating anonymous function at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/meta-fetch/default.nix:36:1, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/applications/science/logic/coq/default.nix:48:13:
while evaluating 'switch' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:139:26, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/meta-fetch/default.nix:37:1:
while evaluating 'switch-if' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:111:18, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:144:5:
while evaluating 'findFirst' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/lib/lists.nix:199:5, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:111:22:
while evaluating 'combine' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:141:21, called from /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/extra-lib.nix:144:34:
undefined variable 'isPath' at /nix/store/2d7k89kyd69iakyrwhbrhkl7mrzg5c4h-nixpkgs-21.05pre276671.94a0cb3b8d8/nixpkgs/pkgs/build-support/coq/meta-fetch/default.nix:66:12

Notify maintainers @siraben @CohenCyril - contributors to coq/meta-fetch/default.nix - in particular https://github.com/NixOS/nixpkgs/commit/82454e9df8d54c5afaa23055b4fbc656e347c71e looks suspicious.

Metadata Please run nix-shell -p nix-info --run "nix-info -m" and paste the result.

$ nix-shell -p nix-info --run "nix-info -m"
 - system: `"x86_64-linux"`
 - host os: `Linux 5.7.17-1rodete5-amd64, Debian GNU/Linux, noversion`
 - multi-user?: `yes`
 - sandbox: `no`
 - version: `nix-env (Nix) 2.2.2`
 - channels(rmirelan): `"nixpkgs-21.05pre276671.94a0cb3b8d8"`
 - channels(root): `"nixpkgs-21.05pre276671.94a0cb3b8d8"`
 - nixpkgs: `/nix/var/nix/profiles/per-user/root/channels/nixpkgs`

Maintainer information:

# a list of nixpkgs attributes affected by the problem
attribute:
# a list of nixos modules affected by the problem
module:

closed time in 3 days

telotortium

pull request commentNixOS/nixpkgs

kubernetes: 1.22.1 -> 1.22.2

Result of nixpkgs-review pr 138135 run on x86_64-darwin 1 <details> <summary>2 packages built:</summary> <ul> <li>kubectl</li> <li>kubernetes</li> </ul> </details>

r-ryantm

comment created time in 3 days

push eventsiraben/dotfiles

Ben Siraphob

commit sha 1c90e66e00a8a18440d1fe0225c4ba44332a2cf0

Update Nix registry

view details

Ben Siraphob

commit sha 1120fd8cca1838c86f630d19faa7496a2d88d4a1

straight.el: update packages

view details

Ben Siraphob

commit sha 6fa147c161e9dfec33233be770d2cee917f9bfc0

home.nix: (git) don't warn about detachedHead

view details

push time in 4 days

pull request commentNixOS/nixpkgs

gimp: 2.10.24 → 2.10.28

Related to #101229

jtojnar

comment created time in 4 days

push eventsiraben/nixpkgs

Chuck

commit sha f6ddd253e0fdcd359f21b7cb52736fcfe63c187a

nixos/activation-script: Add a test

view details

Chuck

commit sha df25ca8520548431a3a7e85a7863655e76081d39

nixos/activation-script: Run userActivationScripts at login Fixes https://github.com/NixOS/nixpkgs/issues/113240

view details

Konstantin Alekseev

commit sha 610e40b503b1b1efab5560ba5bd045eb4eb97603

ssm-session-manager-plugin: 1.2.7.0 -> 1.2.54.0

view details

Ilan Joselevich

commit sha 9f5b3fafa034e6434b136374f5b72567d24eea23

SPAdes: 3.15.2 -> 3.15.3

view details

Ilan Joselevich

commit sha b75f5a8a997b30e75397bf38408a325c3ecfdba4

vc: 1.4.1 -> 1.4.2

view details

R. RyanTM

commit sha ff8b896bf26051ef2dcbabaf3d1285f22e7653f4

peco: 0.5.8 -> 0.5.10

view details

R. RyanTM

commit sha acc9fd541590bfa06e3df5e731a31325ee7085a6

pioneer: 20210203 -> 20210723

view details

R. RyanTM

commit sha 2147329147b838565f3291cc906f20e43fda92e2

tunnelto: 0.1.12 -> 0.1.18

view details

R. RyanTM

commit sha cbb53a5f66eda1a4e7f6c43c8c670b845fc2ab65

richgo: 0.3.6 -> 0.3.9

view details

R. RyanTM

commit sha 3e4fd842e638b147cfef4659aaed39a27e8bde5c

vsftpd: 3.0.3 -> 3.0.5

view details

R. RyanTM

commit sha 6d5f7805bd78e72b225256c13b7cc2a2c9393ce4

sigil: 1.5.1 -> 1.7.0

view details

R. RyanTM

commit sha 4395aa32b3699acd73b9a579578dc653b8500444

toxic: 0.10.1 -> 0.11.1

view details

R. RyanTM

commit sha 2caeaca5ff369bc53d133b40eb3aad87b8a35d79

crawl: 0.27.0 -> 0.27.1

view details

R. RyanTM

commit sha 778b764a5b0cfcebf45fe92eb3aeb82918411c48

whatsapp-for-linux: 1.2.0 -> 1.2.1

view details

R. RyanTM

commit sha bc8b6509eab9500bea25ee3dd7b9751310c6579e

delve: 1.7.0 -> 1.7.1

view details

R. RyanTM

commit sha 8159bd570aa04edbb24ebcbd0c65480fc11c295a

tcltls: 1.7.21 -> 1.7.22

view details

R. RyanTM

commit sha 0d73fb2c6696e6d66e27b8a1adf4588ad7be1ef3

oq: 1.2.1 -> 1.3.0

view details

Roland Gritzer

commit sha 79bab74f0ec63353f694a6bb7e2faa5630926dbf

bitwig-studio: fix gtk file dialog Fixes: #133554 GTK file dialog was broken in 4.0.1

view details

Jörn Gersdorf

commit sha 3d882e8a88e2efc3011dd47c99c70fb8533be833

maintainers: add j0xaf

view details

Jörn Gersdorf

commit sha 6973cdef9530c1140caa4f1ed613fcd801550018

fits-cloudctl: init at 0.9.11

view details

push time in 4 days

pull request commentNixOS/nixpkgs

python3Packages.beautifulsoup4: 4.9.3 -> 4.10.0

kitty transitively fails as a result:

<details>

Bisect Log (14)
git bisect start 'master' 'HEAD~1000'
7125e04ca7a bad Merge pull request #138362 from r-ryantm/auto-update/crowdin-cli
dbf66bf852a good Merge pull request #137141 from r-ryantm/auto-update/flexget

git bisect good b6416616b2646561ca80b2d95398b322e53fb611
b6416616b26 good zoxide: 0.7.4 -> 0.7.5

git bisect bad 33134a7715135f1c4b1bd23860bf2e2c47003dcf
33134a77151 bad Merge pull request #137742 from r-ryantm/auto-update/coordgenlibs

git bisect good 6af98ae669bdf3c8de11537cf2e6788fe1080242
6af98ae669b good Merge pull request #137539 from danieldk/remove-maintainership

git bisect bad 3d1fe451d422aaa9d8b2234bb19776b771a25b06
3d1fe451d42 bad Merge pull request #137703 from aciceri/master

git bisect bad e0bf12865c2e87a6a4dc362eb0746f2c61d75f0b
e0bf12865c2 bad Merge pull request #137463 from imlonghao/borgmatic/1.5.18

git bisect bad 06971f9777d3355b8942459babe59a7be6a64a3b
06971f9777d bad libnbd: 1.9.3 -> 1.9.5

git bisect good 3ca823aa9a102d16fe686b63103cb885747eec3b
3ca823aa9a1 good Merge pull request #137538 from SuperSandro2000/gitstatus

git bisect good 8b13843f4e08c2d707acb8b558c012f0fb1cb314
8b13843f4e0 good Merge pull request #135751 from zhaofengli/promtail-allow-positions-file

git bisect good 364b5555ee04bf61ee0075a3adab4c9351a8d38c
364b5555ee0 good Merge pull request #137132 from Ma27/pi-sudo

git bisect good 5fae387b5940f2b7461491c202286baa19ce958b
5fae387b594 good Merge pull request #137511 from SFrijters/wine-6.17

git bisect bad 03f2cae1bb2741ee54b7d1bd85d26e03dd45ed01
03f2cae1bb2 bad Merge pull request #137273 from fabaff/bump-beautifulsoup4

git bisect bad 231dd103c7a0d3d62dc535b4b3b5aac78a3655fb
231dd103c7a bad python3Packages.beautifulsoup4: 4.9.3 -> 4.10.0

231dd103c7a0d3d62dc535b4b3b5aac78a3655fb is the first bad commit

</details>

fabaff

comment created time in 4 days

push eventNixOS/nixpkgs

Ben Siraphob

commit sha 0cf0fac8a0ac2243e6bba846bfe1779c5d31fc71

Revert "Merge pull request #137479 from r-ryantm/auto-update/libsigcxx" This reverts commit 74a8798eb1fb08acd938aaf698b482930668a402, reversing changes made to 3d192af34046b060a0ff2715461e5c68d87d79ae.

view details

Ben Siraphob

commit sha bc51c5cae6b9275f90ee19655c8040e8d2e8f4de

Merge pull request #138339 from siraben/revert-137479

view details

push time in 4 days

delete branch siraben/nixpkgs

delete branch : revert-137479

delete time in 4 days

PR merged NixOS/nixpkgs

Revert #137479 8.has: package (new) 8.has: clean-up 10.rebuild-linux: 101-500 10.rebuild-darwin: 11-100 10.rebuild-linux-stdenv 10.rebuild-darwin-stdenv

<!-- To help with the large amounts of pull requests, we would appreciate your reviews of other pull requests, especially simple package updates. Just leave a comment describing what you have tested in the relevant package/service. Reviewing helps to reduce the average time-to-merge for everyone. Thanks a lot if you do! List of open PRs: https://github.com/NixOS/nixpkgs/pulls Reviewing guidelines: https://nixos.org/manual/nixpkgs/unstable/#chap-reviewing-contributions -->

Motivation for this change

Reverts #137479.

Things done

<!-- Please check what applies. Note that these are not hard requirements but merely serve as information for reviewers. -->

  • Built on platform(s)
    • [ ] x86_64-linux
    • [ ] aarch64-linux
    • [ ] x86_64-darwin
    • [ ] aarch64-darwin
  • [ ] For non-Linux: Is sandbox = true set in nix.conf? (See Nix manual)
  • [ ] Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • [ ] Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
  • [ ] Tested execution of all binary files (usually in ./result/bin/)
  • 21.11 Release Notes (or backporting 21.05 Release notes)
    • [ ] (Package updates) Added a release notes entry if the change is major or breaking
    • [ ] (Module updates) Added a release notes entry if the change is significant
    • [ ] (Module addition) Added a release notes entry if adding a new NixOS module
  • [ ] Fits CONTRIBUTING.md.
+2 -2

0 comment

1 changed file

siraben

pr closed time in 4 days

PR opened NixOS/nixpkgs

Revert 137479

<!-- To help with the large amounts of pull requests, we would appreciate your reviews of other pull requests, especially simple package updates. Just leave a comment describing what you have tested in the relevant package/service. Reviewing helps to reduce the average time-to-merge for everyone. Thanks a lot if you do! List of open PRs: https://github.com/NixOS/nixpkgs/pulls Reviewing guidelines: https://nixos.org/manual/nixpkgs/unstable/#chap-reviewing-contributions -->

Motivation for this change

Reverts #137479.

Things done

<!-- Please check what applies. Note that these are not hard requirements but merely serve as information for reviewers. -->

  • Built on platform(s)
    • [ ] x86_64-linux
    • [ ] aarch64-linux
    • [ ] x86_64-darwin
    • [ ] aarch64-darwin
  • [ ] For non-Linux: Is sandbox = true set in nix.conf? (See Nix manual)
  • [ ] Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • [ ] Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
  • [ ] Tested execution of all binary files (usually in ./result/bin/)
  • 21.11 Release Notes (or backporting 21.05 Release notes)
    • [ ] (Package updates) Added a release notes entry if the change is major or breaking
    • [ ] (Module updates) Added a release notes entry if the change is significant
    • [ ] (Module addition) Added a release notes entry if adding a new NixOS module
  • [ ] Fits CONTRIBUTING.md.
+3313 -2700

0 comment

234 changed files

pr created time in 4 days